body         { font-family: Verdana, Tahoma, 'Century Gothic', Arial, Helvetica; font-size: 
               85% }
a:link       { color: #0000FF }
a:active     { color: #FF0000 }
a:visited    { color: #0099FF }
a:unknown    { color: #800080 }
h1           { color: #000080; font-size: 125%; line-height: 125%; margin-bottom: 0em }
h2           { color: #000080; font-size: 115%; margin-top: 0.5em; 
               margin-bottom: 0.3em }
h3           { color: #000080; font-size: 100%; margin-top: 0.4em; 
               margin-bottom: 0.5em }
h4           { color: #000080; font-size: 100%; margin-top: 0.3em; 
               margin-bottom: 0em }
p            { margin-top: 0pt; margin-bottom: 0pt }
p.abstand    { margin-top: 6pt; margin-bottom: 4pt }
p.lead       { color: #000080 }
p.small      { font-size: 90%; margin-top: 3pt; margin-bottom: 2pt }
p.verysmall  { font-size: 50% }
p.hover      { color: #339900; font-weight: bold; width: 120px; border-top-style: inset; 
               border-top-color: #FF0000 }
li p         { margin-top: 0.6em; margin-bottom: 0em }
big          { font-size: 105%; font-weight: bold }
ol           { margin-top: 0.5em; margin-bottom: 0em }
ul           { margin-left: 2.75em; margin-top: 0.6em; margin-bottom: 0em }
ol ul        { list-style-type: disc; margin-top: 2em }
li           { margin-left: -1.25em; padding-bottom: 0.3em }
dl ul        { margin-top: 2em; margin-bottom: 0em }
dl           { margin-top: 0em }
ol dl        { margin-left: 0em; margin-top: -1.5em }
ol dl dl     { margin-left: 0.2em; margin-top: 0em }
dd           { margin-left: 1.5em; margin-bottom: 0em }
dt           { font-weight: bold; margin-left: 1.5em}
code         { font-family: 'Lucida Console', Courier }
pre          { font-family: 'Lucida Console', Courier; margin-top: 0em; margin-bottom: 1.5em }
table        { font-size: 100%; text-align: left; margin-top: 0; margin-left: 0.2em }
tr           { vertical-align: top; margin: 0.5em }
th           { background-attachment: scroll; background-color: #dddddd; background-repeat: 
               repeat; text-align: left; vertical-align: top; margin: 0.5em; 
               background-position: 0% 50% }
td           { vertical-align: top; margin: 0.5em }
span.menulink { background-color: transparent; color: #000080; cursor: hand; font-size: 9pt; 
               height: 16pt; line-height: 10pt; position: relative; 
               text-decoration: none; top: 1pt; width: 20px; font-style: 
               normal; font-weight: bold; border-top: 1pt solid #cc0033; 
               margin: 0pt }