.highlights   { font-size: 10px; font-family: verdana, helvetica, arial, sans-serif; margin-top: 5px; margin-bottom: 5px; margin-left: 5px}
.main      { color: #ccf; font: 600 11px/16px verdana, geneva, arial, sans-serif; margin: 5px }
.out    { color: navy; font: 10px verdana, arial, helvetica, sans-serif }
.smalltype   { color: black; font: 600 9px verdana, geneva, sans-serif; margin-top: 5px; margin-bottom: 10px; margin-left: 5px }
a:active  { color: #f90; font-weight: bold; text-decoration: none }
a:hover  { color: yellow; text-decoration: none }
a:link  { color: #f90; font-weight: bold; text-decoration: none }
a:visited         { color: #f30; font-weight: bold; text-decoration: none }
address { font: 9px geneva, sans-serif }
b   { font: 10px verdana, helvetica, arial, sans-serif; bold: } STRONG {font-weight: bold  }
code { color: #663300; font: 10px monaco, monospace }
h1  { font: bold 12px verdana, helvetica, arial, sans-serif }
h2  { font-size: 10px; font-family: verdana, helvetica, sans-serif; margin: 10px }
h3  { font-size: 11px; font-family: verdana, helvetica, sans-serif; margin-top: 5px; margin-bottom: 10px; margin-left: 5px }
h4     { font: 600 14px verdana, helvetica, arial, sans-serif }
h5 { font: 18px verdana, helvetica, sans-serif; margin-top: 0px; margin-bottom: 10px }
pre { color: #663300; font: 0.85em/140% verdana, geneva, arial, sans-serif; margin-right: 30px; margin-bottom: 10px; margin-left: 60px }