body {
 font-family:Verdana, Arial, sans-serif;
 font-size:70%;
 background-color:#003333;
 color:#eee;
}
/* Für Quellcode-Beispiele im Text */
code, pre{
 font-size:1.2em;
 color:#99cccc;
}
pre { border:1px dashed #99cccc;padding: 10px;}
h1 {font-size:1.3em;color:#fff;margin-top:0px;}
h2 {font-size:1.1em;color:#000;margin:0px;}
p {margin-top:0px;}
div {
background-color:#336666;
}

/* Die Hyperlinks im Text */
a:link, a:visited, a:active, a:hover
{ 
  text-decoration:underline;
  font-weight:bold;
  color:#eee;
}
a:active, a:hover{ 
  color:#ff9200;
}