body { margin-top : 15px; margin-bottom : 15px;  font-family: Verdana, Arial, Helvetica, sans-serif; }

h1 { font-size:140%; }
h2 { font-size:130%; margin-top : 2px; }
h2.sh2 { font-size:130%; }
h3 { font-size:120%; }
h4 { font-size:110%; }

p,ul,ol,li,div,dl,dt,dd,td,th,address,nobr,blockquote { font-family: Verdana, "Times New Roman", Times, serif; }
p,ul,ol,li,div,dl,dt,dd,td,th,address,nobr { font-size:100%; }
p.blocktext { text-align: left; margin-top:0px; font-size:100%; }
address { font-size:80%; }

sup  { font-size:80%; }
b { font-weight:bold; }
i { font-style: italic; }

pre { font-family: monospace; font-size:90%; color:#0000C0; background-color : transparent;  }
tt { font-family: monospace; font-size:90%; color:#0000C0; background-color : transparent; }

/* styles for spezial words and so on*/
em.var { font-style: italic; color:#993333;   background-color : transparent; }

em.funname { font-style: italic; font-weight:bold; color: #999933; background-color : transparent; }

em.autname { font-style: italic; font-weight:bold; color:#993333; background-color : transparent; }

em.litaut { font-style: italic; font-weight: normal; }
em.litref { font-style: normal; font-weight: bold; color: Green; background-color : transparent; }
span.littitle { font-style: normal; font-weight: bold; }

em.crdate { font-style: italic; font-size:80%; }

ul.vz1, ul.globeg { list-style-type: square; font-size:100%; font-weight:bold; font-family: Verdana, Arial, Helvetica, sans-serif; }
ul.vz2, ul.gloerl { list-style-type: disc; font-size:100%; font-weight: normal; }
ul.vz3, ul.glosa { list-style-type: circle; font-size:90%; }
ul.globeg { list-style-type: none; }
ul.glosa { list-style-type: none; }

ul.lit { list-style-type: disc; font-size: 100%; font-weight: normal; }
li.lit { margin-top : 0.1cm; }

.code { background-color:#FFFFE0; }

.navl { background-color: #CCCC99; text-align:left; font-size:80%; }
.navr { background-color: #CCCC99; text-align:right; font-size:80%; }
.link { background-color: #DDDD99; text-align:left; font-size:80%; }

pre.normal { color:#000000; background-color : transparent; }

a:link { color:#AA5522; background-color : transparent; text-decoration: underline; }
a:visited { color:#772200; background-color : transparent; text-decoration: underline; }
a:active { color:#000000; background-color : transparent; text-decoration: none; }
a.an { text-decoration:none; }