body      { font-family:Verdana; font-size:11px; color:#00007F; font-weight:bold; background:#EFEFFF;}
font      { font-family:Verdana; font-size:11px; font-weight:bold; }
div       { font-family:Verdana; font-size:11px; color:#00007F; font-weight:bold; }
code      { font-family:Courier; font-size:11px; color:#00007F; font-weight:normal; }
pre       { font-family:Courier; font-size:11px; color:#CFCFCF; font-weight:normal; }
pre.body  { font-family:Courier; font-size:11px; color:#00007F; font-weight:bold; }
td        { font-family:Verdana; font-size:11px; color:#00007F; font-weight:bold; }
th        { font-family:Verdana; font-size:11px; color:#00007F; font-weight:bold; background-color:#AFAFFF; }
a         { font-family:Verdana; font-size:11px; color:#7F7FFF; text-decoration:none; font-weight:bold; }
a:hover   { font-family:Verdana; font-size:11px; color:#7F7FFF; text-decoration:underline; font-weight:bold; }
.micro    { font-size:8px; font-weight:normal;}
.small    { font-size:10px; }
.big      { font-family:Times; font-size:20px; }
.head     { font-family:Times; font-size:30px; }
.menulink { font-family:Verdana; font-size:11px; color:#EFEFFF; text-decoration:none; font-weight:bold; }
.menulinked { font-family:Verdana; font-size:11px; color:#00007F; text-decoration:none; font-weight:bold; }
.menulink:hover { font-family:Verdana; font-size:11px; color:#FFFF00; text-decoration:none; font-weight:bold; }
.menulinked:hover { font-family:Verdana; font-size:11px; color:#FFFF00; text-decoration:none; font-weight:bold; }
.tablehead{ font-family:Times; font-size:20px; border-style:solid; border-width:1; border-color:#00007F; }
.infotable{ font-family:Verdana; font-size:11px; color:#00007F; font-weight:bold; border-style:solid; border-width:1; border-color:#00007F; background-color:#AFAFFF; padding: 3 3 3 3;margin: 1 1 1 1;}
.bordered { border-style:solid; border-width:1; border-color:#00007F; }
.area     { border-style:solid; border-width:1; border-color:#00007F; background:#DFDFFF; }