body {
      color: #008; 
      background-color: #F4A460;
      font-size: 12px; 
      font-family: Helvetica,Arial,sans-serif; 
      margin:0; 
      padding:0; 
    }
    h1 { 
      font-size:24pt; 
      font-style:italic; 
      font-family:Arial, Helvetica; 
      background-color:#0000FF; 
      color:#FFFF00; 
      border:6px double navy;
      height:34px; 
      text-align:center;
    }
    #inhalt { 
      margin:10px 10px 10px 174px; 
      padding:0; 
      overflow:auto;
    }
    h2 {
      font-size: 24px;
      color: #006;
    }
    p {
      font-size: 16px;
      color: #004;
    }
    
    #navi { 
      top:70px; left:2px; 
      position:absolute; 
      width: 150px;
      border:4px double navy;
      background-color:#0000FF;
      padding:4px;
      color: #FF6;
    }
    html>body #navi {position: fixed;}
    #navi a {
      text-decoration:none;
    }
    #navi a:link {
      color:#FFF;
    }
    #navi a:visited {
      color:#FFF;
    }
    #navi a:active {
      color:#FFF;
    }
    #navi a:hover {
      color:#FFF;
      background-color:#99F;
    }
    #inhalt a {
      color: #00d;
    }
    table {
      background-color: #006;
      color: #008;
    }
    th {
      padding: 2px 6px;
      background-color: #00a;
      color: #fff;
    }
    td {
      padding: 2px 6px;
    }
    tr.ung {
      background-color: #aaf;
    }
    tr.gra {
      background-color: #bbf;
    }
    code {
      font-family:'Courier New',Courier;
      font-size:15px;
      color:#00b; 
    }    
    pre {
      font-family:'Courier New',Courier;
      font-size:15px;
      color:#006; 
      border: solid 2px #006;
      background-color: #ccf;
      padding: 2px;
    }
#foot {
      margin: 6px 10px;
      height: 22px;
      display: block;
      padding: 0;
      background-color: #00f;
      border: double 4px #006;
      clear: both;
      text-align: center;
}
#wc {
      float: right;
      margin: 2px 0 0 0;
      padding: 0;
      width: 110px;
}
#foot a {
      color: #FFF;
      font-size: 12px;
      margin: 4px 0 0 0;
}