body       {font-family: "Verdana", "Tahoma", "Arial", "Helvetica", sans-serif;
            font-size: small;
            color: navy;
            scrollbar-face-color:#DCDCDC;
            scrollbar-highlight-color:#FFFFFF;
            scrollbar-3dlight-color:#DCDCDC;
            scrollbar-darkshadow-color:#000080;
            scrollbar-shadow-color:#808080;
            scrollbar-arrow-color:#0000FF;
            scrollbar-track-color:#DCDCDC}
a          {text-decoration: none;
            color: blue}
a:hover    {text-decoration: underline;
            color: blue}
ul         {list-style-type: disc}
.sans      {font-family: "Verdana", "Tahoma", "Arial", "Helvetica", sans-serif}
.serif     {font-family: "Georgia", "Garamond", "Baskerville", "Times New Roman", serif}
.lit       {margin-top: 0em}
sup        {font-size: x-small}
.grau      {background-color: #dcdcdc}
.greyframe {  border: #dcdcdc; border-style: solid; border-top-width: 1px; border-right-width: 1px; border-bottom-width: 1px; border-left-width: 1px}
.underrule {  border-color: black black #000066; border-bottom-width: thin}