.highlights    { font-size: 10px; font-family: verdana, helvetica, arial, sans-serif, Georgia, "Times New Roman", Times, serif; margin-top: 5px; margin-bottom: 5px; margin-left: 5px }
.main        { color: #006; font: 500 12px/18px "Trebuchet MS", Geneva, Arial, Helvetica, SunSans-Regular, sans-serif; margin: 10px }
.out     { color: navy; font: 10px Georgia, "Times New Roman", Times, serif }
.smalltype    { font: 600 9px "Trebuchet MS", Geneva, Arial, Helvetica, SunSans-Regular, sans-serif; margin-top: 5px; margin-bottom: 10px;}
a:active   { color: #900; font-weight: bold; text-decoration: none }
a:hover    { color: #f93; font-weight: bold; text-decoration: none }
a:link    { color: #f33; font-weight: bold; text-decoration: none }
a:visited           { color: #930; font-weight: bold; text-decoration: none }
address  { font: 9px Georgia, "Times New Roman", Times, serif }
b    { font: 10px Georgia, "Times New Roman", Times, serif; bold:  } STRONG  { font-family: "Trebuchet MS", Geneva, Arial, Helvetica, SunSans-Regular, sans-serif; font-weight: bold }
code { color: #663300; font: 10px monaco, monospace }
h1    { color: #669; font-size: 24px; font-family: "Trebuchet MS", Geneva, Arial, Helvetica, SunSans-Regular, sans-serif; font-variant: normal; font-weight: normal; line-height: normal; font-stretch: normal }
h2   { font-size: 10px; font-family: Georgia, "Times New Roman", Times, serif; margin: 10px }
h3    { color: #c30; font-size: 14px; font-family: "Trebuchet MS", Geneva, Arial, Helvetica, SunSans-Regular, sans-serif; margin: 0 }
h4      { font: 600 14px Georgia, "Times New Roman", Times, serif }
h5  { font: 18px Georgia, "Times New Roman", Times, serif; margin-top: 0; margin-bottom: 10px }
pre { color: #663300; font: 0.85em/140% verdana, geneva, arial, sans-serif; margin-right: 30px; margin-bottom: 10px; margin-left: 60px }