/* DATEI: schriften.css */

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

/* 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:16pt;  }

h2 { font-size:16pt; background-color:#EEEEEE; }

h2.sh2 { font-size:16pt; }

/* Abschnittsueberschriften innerhalb einer Seite */


h3,h3.xmp,h3.xpl,h3.inf,h3.tip { font-size:12pt; background-color:#EEEEEE; }

/* Zwischenueberschriften  */
/* font-size = Schriftgroesse */
/* 11pt = 11 Punkt, Wert aenderbar */

h4 { font-size:10pt; }

/* Zwischenueberschriften an manchen Stellen */

p,div,td,th,address,nobr,b,i { color:#000066; font-size:10pt; line-height:140%;}

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

ul,ol,li { color:#000066; font-size:10pt; line-height:140%;}


.code { background-color:#FFFFE0; }

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


.doc { color:#000066; background-color:#EEEEEE; }

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


.var { color:#000000; font-size:8pt; font-family:Arial,sans-serif; }

/* für das copyright in der letzten Zeile */

pre.normal { color:#000066; }

/* normale praeformatierte Bereiche, nicht fuer Quelltexte */


a:link { color:#0000FF; text-decoration:none; }
a:visited { color:#0000FF; text-decoration:none; }
a:active { color:#FF0000; text-decoration:none; }

/* a:link = Verweise zu noch nicht besuchten Seiten */
/* a:visited = #007D00 Verweise zu bereits besuchten Seiten */
/* a:active = Verweise, die gerade angeklickt werden */
/* color = Farbe */
/* text-decoration = Tesxtstil */
/* underline = unterstrichen, Default-Wert, Wert aenderbar */
/* none = nicht unterstrichen, Wert aenderbar */

a.an { text-decoration:none; }