a:link { color:green; text-decoration:underline; }

a:visited { color:yellow; text-decoration:underline; }

    /*  Verweise, die gerade angeklickt werden */
a:active { color:orange; text-decoration:none; }

    /*  Abstand zwischen Fensterrand und Inhalt oben */
/*body { background-image:url(img/back.gif); margin-top:10px; margin-bottom:10px;}*/
body { background-color:green; margin-top:10px; margin-bottom:10px;}

h1     { font-size:22pt; }
h2     { font-size:16pt; }
h3     { font-size:12pt; }
h4     { font-size:10pt; }


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