body { margin-top :  15px; margin-bottom :  15px;  }
/* margin-left :  10px;  */
/* margin-top = Abstand zwischen Fensterrand und Inhalt oben */
/* margin-bottom = Abstand zwischen Fensterrand und Inhalt unten */
/* 10px = 10 Pixel, Wert aenderbar */


/* font-family = Schriftart fuer Textelemente */
h1,h2,h3,h4 { font-family: sans-serif; }

p,ul,ol,li,div,dl,dt,dd,td,th,address,blockquote,nobr,b,i
     { font-family: serif; }

/* font-size = Schriftgroesse */
h1 { font-size:18pt; }
h2 { font-size:16pt;  margin-top :  2px;}
h2.sh2 { font-size:16pt; }
h3,h3.xmp,h3.xpl,h3.inf,h3.tip { font-size:14pt; }
h4 { font-size:12pt; }


p,ul,ol,dl,dt,dd,li,div,td,th,address,nobr { font-size:12pt; }

p.blocktext { text-align: justify; margin-top :  0px; font-size:12pt;}
/* Quelltext-Beispiele */
/* color = Farbe */
/* #0000C0 = blau, Wert aenderbar */
pre { font-family: monospace; font-size:10pt; color:#0000C0; }

/* Quelltext-Befehle im normalen Fliesstext */
tt { font-family: monospace; font-size:10pt; color:#0000C0; }


/* styles for spezial words and so on*/
em.var { font-style: italic; color:#993333;}
em.funname { font-style: italic; font-weight:bold; color: #999933;}
em.autname { font-style: italic; font-weight:bold; color:#993333;}
em.litaut { font-style: italic; font-weight: normal; }
em.litref { font-style: normal; font-weight:bold; color: Green;}
em.crdate { font-style: italic; font-size:10pt; }

ul.vz1, ul.globeg { list-style-type:none; font-size:12pt; font-weight:bold; font-family: sans-serif;}
ul.vz2, ul.gloerl { list-style-type:none; font-size:12pt; font-weight: normal; }
ul.vz3, ul.glosa { list-style-type:none; font-size:10pt; }
ul.gloerl { list-style: disc; }

td.xmpcode { border-width:1pt; border-style:solid; border-color:#999999; background-color:#FFFFE0; }

/* Bereiche mit Beispiel-Quelltexten */
/* nur MS IE 4, Netscape 4.0 ignoriert diese Angaben */
/* border-width = Randbreite */
/* 1pt = 1 Punkt, Wert aenderbar */
/* border-style = Randstil */
/* solid = durchgezogen, Wert aenderbar */
/* border-color = Randfarbe */
/* #999999 = grau, Wert aenderbar */
/* background-color = Hintergrundfarbe */
/* #FFFFE0 = helles Gelb, Wert aenderbar */



/* Tabelleninhalte mit Quellcode */
/* #FFFFE0 = helles Gelb, Wert aenderbar */
/* Farbe sollte gleich sein wie bei td.xmpcode */
.code { background-color:#FFFFE0; }


/* Tabelleninhalte mit Erklaerungen */
/* background-color = Hintergrundfarbe */
/* #EEEEFF = helles Blau, Wert aenderbar */
td.xplcode { background-color:#EEEEFF; }

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

/* normale praeformatierte Bereiche, nicht fuer Quelltexte */
pre.normal { color:#000000; }


/* a:link = Verweise zu noch nicht besuchten Seiten */
/* a:visited = Verweise zu bereits besuchten Seiten */
/* a:active = Verweise, die gerade angeklickt werden */
a:link { color:#AA5522; text-decoration:underline; }
a:visited { color:#772200; text-decoration:underline; }
a:active { color:#000000; text-decoration:none; }

a.an { text-decoration:none; }