div.p { margin-top: 7pt;}
 ul,ol,td,th,p
       {font-family: "Verdana", Times, serif;
        font-size  : 15pt;}
 h1    {font-family : "Verdana", Times, serif;
        font-size   : 18pt;
        font-weight : bold;}
 h2    {font-family : "Verdana", Times, serif;
        font-size   : 20pt;
        font-weight : bold;} 
 h3    {font-family : "Verdana", Times, serif;
        font-size   : 22pt;
        font-weight : bold;}  
 eq    {font-family : "Verdana", Times, serif;
        font-size   : 10pt;
        font-weight : bold;}
table {margin-top: 0pt}        
div.box{border:solid; border-width: 0.05em; width: 80%; }
div.boxcolor{ background: #c0c0c0; padding: 0.5em; border: none;}
a:link {
    color: #111111;
}
a:visited{
    color: #111111;
}
a:hover{
    color: #881010;
}
a.plain{text-decoration: none}
td.small{font-size: 8pt}
th.small{font-size: 8pt}
body{background: #fefefe}