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 }