a:hover{color:ff0000; }
.dotboxleft   { border-top: 1px dotted black; border-bottom: 1px dotted black; border-left: 1px dotted black }
.dotbox { border: dotted 1px black }
.dotboxright  { border-top: 1px dotted black; border-right: 1px dotted black; border-bottom: 1px dotted black }
h3 { color: white; font-size: 16px; text-decoration: none }
element { }
body { color: black; font-size: 13px; font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular }
.box   { border: solid 1px #026 }
h1  { color: #191970; font-size: 16px; font-family: Verdana }
.serverfont { font-family: arial; font-size: 11px }
.serverhead { font-family: arial; font-size: 12px; font-weight: bold }
.serverred { font-family: arial; font-size: 11px; color: red } 
.serverblue { font-family: arial; font-size: 11px; color: blue }