body { background:#FDFCDF;  color:#001C66; }

h1,h2,h3,h4,h5 { margin-top:0pt;   margin-bottom:0pt; }
h1 { color:#001C66;  font-family:times;  font-size:20pt; }
h2 { color:#001C66;  font-family:times;  font-size:16pt; }
h3 { color:#001C66;  font-family:times;  font-size:14pt;  line-height:16pt; }
h4 { color:#001C66;  font-family:times;  font-size:12pt;  line-height:14pt; }
h5 { color:#001C66;  font-family:times;  font-size:11pt;  line-height:12pt; }

p   { font-family:times;  font-size:15pt;  line-height:17pt;  }
pre { font-size:12pt; }

    /*--- Links , allgemein ---*/
a { font-family:verdana;  text-decoration:underline;
    font-size:11pt;       line-height:18pt;          }
a:link    { color:#0000FF; }  /* noch nicht angeklickte Links */
a:visited { color:#9932CC; }  /* bereits angeklickte Links    */
a:hover   { color:#FF0000; }  /* mit der Mouse darueber       */
a:active  { color:#800030; }  /* gerade angeklickte Links     */


.abstand0 { margin-top:0pt;   margin-bottom:0pt;  }
.abstand  { margin-top:5pt;   margin-bottom:5pt;  }
.abstand1 { margin-top:10pt;  margin-bottom:10pt; }
.abstand2 { margin-top:15pt;  margin-bottom:15pt; }
.abstand3 { margin-top:20pt;  margin-bottom:20pt; }

.font_mono   { font-family:monospace;  font-size:12pt; }
.font_mono p { font-family:monospace;  font-size:12pt; }