body { margin-top:10px; margin-bottom:10px; font-family:Arial,Helvetica; color:#000000;}
/*  text-align:center; */
/* margin-top = Abstand zwischen Fensterrand und Inhalt oben */
/* margin-bottom = Abstand zwischen Fensterrand und Inhalt unten */

p,h1,h2,h3,h4,ul,ol,li,div,td,th,address,blockquote,nobr,b,i
     { font-family:Arial,sans-serif; }

h1 { font-size:18pt; }
h2 { font-size:16pt; }
h2.sh2 { font-size:16pt; }

h3,h3.xmp,h3.xpl,h3.inf,h3.tip { font-size:12pt; }
h4 { font-size:10pt; }


p,ul,ol,li,div,td,th,address,nobr,b,i { font-size:10pt; }

/* normaler Text */


pre { font-family:Courier New; font-size:10pt; color:#0000C0; }
/*pre { font-family:Courier New,Courier; font-size:10pt; color:#0000C0; }*/
/* #0000C0 = blau */


tt { font-family:Courier New,Courier; font-size:10pt; color:#0000C0; }

/* #0000C0 = blau */

td.white { border-width:1pt; border-style:solid; border-color:#000000; background-color:#FFFFFF; }

td { background-color:#EEEEEE; color:#0000C0; }

td.neutral { background-color:#EEEEEE; color:#0000C0; }

td.xmpcode { border-width:1pt; border-style:solid; border-color:#999999; background-color:#FFFFE0; }

/* #999999 = grau */
/* #FFFFE0 = helles Gelb */

.code { background-color:#FFFFE0; }

td.xplcode { background-color:#EEEEFF; }

/* #EEEEFF = helles Blau */

.doc { background-color:#FFFFFF; }  /* GEROLF */

.new {color:#ff0000; }


/* #EEEEEE = helles Grau */

.qbar { background-color:#FFFFE0; font-size:9pt; font-family:Arial,sans-serif; }

/* #FFFFE0 = helles Gelb */

pre.normal { color:#000000; }

/* #000000 = schwarz */

a:link { color:#000000; text-decoration:underline; }
a:visited { color:#000000; text-decoration:underline; } /* GEROLF */
a:active { color:#000000; 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 */
/* color = Farbe */
/* #AA5522 = beige  */
/* #772200 = braun */
/* #000000 = schwarz */

a.an { text-decoration:none; }

.new {color:#ff0000; }
