body { margin-top:10px; margin-bottom:10px;  background-color:#FFFFFF; color:#000000; }

/* margin-top = Abstand zwischen Fensterrand und Inhalt oben */
/* margin-bottom = Abstand zwischen Fensterrand und Inhalt unten */
/* 10px = 10 Pixel, Wert aenderbar */


p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr,b,i
     { font-family:Arial,sans-serif; }

/* font-family = Schriftart fuer Textelemente */
/* Arial,sans-serif = Arial und serifenlose Schrift, Wert aenderbar */


h1 { font-size:18pt; color:#0060BB; }

/* font-size = Schriftgroesse */
/* 18pt = 18 Punkt, Wert aenderbar */
/* color = Farbe */
/* #CE0000 = rot, Wert aenderbar */


h2 { font-size:14pt; color:#0060BB; }

/* Seitenueberschriften */
/* font-size = Schriftgroesse */
/* 16pt = 16 Punkt, Wert aenderbar */
/* color = Farbe */
/* #CE0000 = rot, Wert aenderbar */


h3 { font-size:12pt; color:#0060BB; }

/* Zwischenueberschriften wie 'Beispiel', 'Erlaeuterung' */
/* font-size = Schriftgroesse */
/* 12pt = 12 Punkt, Wert aenderbar */
/* color = Farbe */
/* #CE0000 = rot, Wert aenderbar */


h4 { font-size:10pt; color:#0060BB; }

/* Zwischenueberschriften an manchen Stellen */
/* font-size = Schriftgroesse */
/* 10pt = 10 Punkt, Wert aenderbar */
/* color = Farbe */
/* #CE0000 = rot, Wert aenderbar */


/* explizite Farbangaben */

.rot { color:#CE0000; }
.blau { color:#666699; }
.farbig { color:#0060BB; } /* A. Reber */


p,ul,ol,li,div,td,th,address,nobr,b,i { font-size:10pt; }

/* normaler Text */
/* font-size = Schriftgroesse */
/* 10pt = 10 Punkt, Wert aenderbar */


a:link { color:#0060BB; text-decoration:underline; }
a:visited { color:#003088; text-decoration:underline; }
/* !!! immer zuerst a:link und a:visited definieren, sonst funktionieren die anderen drei nicht !!! */
a:hover { color:#0090EE; text-decoration:underline; }
a:focus { color:#CE0000; text-decoration:underline; } /* IE benutzt stattdessen a:active */
a:active { color:#CE0000; text-decoration:none; }

/* a:link = Verweise zu noch nicht besuchten Seiten */
/* a:visited = Verweise zu bereits besuchten Seiten */
/* a:hover = Verweise, während der Anwender mit der Maus über den Verweistext fährt */
/* a:focus = Verweise, wenn diese mit der Tastatur angesprungen werden */
/* a:active = Verweise, die gerade angeklickt werden */
/* color = Farbe */
/* #CE0000 = rot, Wert aenderbar */
/* #C0C0C0 = hellgrau, Wert aenderbar */
/* text-decoration = Tesxtstil */
/* underline = unterstrichen, Default-Wert, Wert aenderbar */
/* none = nicht unterstrichen, Wert aenderbar */

a.an { text-decoration:none; }


.lgreybg { background-color:#F7F7F7; }

/* Layout-Elemente mit hellgrauem Hintergrund */
/* background-color = Hintergrundfarbe */
/* #F6F6F6 = helles Grau, Wert aenderbar */


.greybg { background-color:#F0F0F0; }

/* Layout-Elemente mit hellgrauem Hintergrund */
/* background-color = Hintergrundfarbe */
/* #F0F0F0 = Grau, Wert aenderbar */


.dgreybg { background-color:#E7E7E7; }

/* Layout-Elemente mit hellgrauem Hintergrund */
/* background-color = Hintergrundfarbe */
/* #E0E0E0 = dunkles Grau, Wert aenderbar */


pre { font-family:Courier New,Courier; font-size:10pt; color:#0000C0; }

/* Quelltext-Beispiele */
/* font-family = Schriftart */
/* Courier New,Courier = Schriftarten, Wert aenderbar */
/* font-size = Schriftgroesse */
/* 10pt = 10 Punkt, Wert aenderbar */
/* color = Farbe */
/* #0000C0 = blau, Wert aenderbar */


tt { font-family:Courier New,Courier; font-size:10pt; color:#0000C0; }

/* Quelltext-Befehle im normalen Fliesstext */
/* font-family = Schriftart */
/* Courier New,Courier = Schriftarten, Wert aenderbar */
/* font-size = Schriftgroesse */
/* 10pt = 10 Punkt, Wert aenderbar */
/* color = Farbe */
/* #0000C0 = blau, Wert aenderbar */


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 */


.code { background-color:#FFFFE0; }

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


td.xplcode { background-color:#EEEEFF; }

/* Tabelleninhalte mit Erklaerungen */
/* background-color = Hintergrundfarbe */
/* #EEEEFF = helles Blau, Wert aenderbar */


.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 */
/* background-color = Hintergrundfarbe */
/* #FFFFE0 = helles Gelb, Wert aenderbar */
/* font-family = Schriftart */
/* Arial,sans-serif = Schriftarten, Wert aenderbar */
/* font-size = Schriftgroesse */
/* 9pt = 9 Punkt, Wert aenderbar */


pre.normal { color:#000000; }

/* normale praeformatierte Bereiche, nicht fuer Quelltexte */
/* color = Farbe */
/* #000000 = schwarz, Wert aenderbar */