body      {
               background:#000080
          }

.Java     {
               font-family: Arial;
               font-size: 10px;
               color: #FFFFFF
          }

.Titel    {
               font-family: Arial;
               color: #FFFFFF;
               font-size: 10pt
          }

.Navi     {
               font-family: Arial;
               font-size: 8pt;
               color: #0000FF;
               text-decoration: none;
               border: 1px solid #000000;
               padding-left: 4;
               padding-right: 4;
               padding-top: 1;
               padding-bottom: 1;
               background-color: #C0C0C0
          }