body { font-family: Arial, Helvetics, sans-serif; color: navy; background-color: white }
 a, p, li, dd, dt, td {font-size: 10pt}  /* default is 12pt */
 td.copyright { text-align: right; font-size: 8pt}
 a, dt {font-weight: bold }

 img {border: solid; border-color: white; border-width: 1px }
 img.nolink:hover {border-color: white}
 img:hover { border-color: grey }

 pre {
    font-family: Lucida Console,Courier New,Courier,monotype;
    font-size: 10pt;
 /* margin-top: 8pt;
    margin-bottom: 8pt; */
    background-color: #E0E0E0;
    }
 a:link { color: blue; text-decoration: underline; }
 a:visited { color: navy; text-decoration: underline; }
 a:hover { color: FF6F60; text-decoration: underline; }
 a.b:link { color: blue; text-decoration: none; }
 a.b:visited { color: navy; text-decoration: none; }
 a.b:hover { color: FF6F60; text-decoration: none; }