body { margin-top:10pt; margin-bottom:10pt; }

p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr

h1 { font-size:18pt; }

h2 { font-size:16pt; } /* Seitenueberschriften */

h2.sh2 { font-size:16pt; } /* Abschnittsueberschriften innerhalb einer Seite */

h3,h3.xmp,h3.xpl,h3.inf,h3.tip { font-size:12pt; } /* Zwischenueberschriften wie 'Beispiel', 'Erlaeuterung' */

h4 { font-size:10pt; } /* Zwischenueberschriften an manchen Stellen */

h6 { font-family: Tahoma,Helvetica; font-size:8pt; } /* smal Text */

p,ul,ol,li,div,td,th,address,nobr {font-family: Tahoma,Helvetica; font-size:10pt; } /* normaler Text */

pre { font-family:Courier New,Courier; font-size:10pt; color:#000000; } /* Quelltext-Beispiele */

tt { font-family:Courier New,Courier; font-size:10pt; color:#000000; } /* Quelltext-Befehle im normalen Fliesstext */


td.xmpcode { border-width:1pt; border-style:solid; border-color:#999999; background-color:#FFFFE0; } /* Bereiche 
mit Beispiel-Quelltexten */
/* #999999 = grau,*/
/* #FFFFE0 = helles Gelb*/

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

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

.doc { background-color:#EEEEEE; } /* Layout-Elemente mit hellgrauem Hintergrund */
/* #EEEEEE = helles Grau*/

.qbar { background-color:#FFFFE0; font-size:9pt; font-family:Arial,sans-serif; } /* Layout-Elemente mit hellgrauem 
Hintergrund */
/* nur MS IE 4, Netscape 4.0 ignoriert diese Angaben */

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

a:link { color:#339999; text-decoration:underline; }
a:visited { color:#339999; text-decoration:underline; }
a:active { color:#339999; text-decoration:none; }

/* a:link = Verweise zu noch nicht besuchten Seiten */
/* a:visited = Verweise zu bereits besuchten Seiten */
/* a:active = Verweise, die gerade angeklickt werden */
/* #AA5522 = beige*/
/* #772200 = braun*/
/* #000000 = schwarz*/

a.an { text-decoration:none; }