body { background-color: #FFFFFF;
   font-family: Times New Roman, MS Serif;
   color: #000000 }
a:link { color: #000080;
   font-weight: bold }
a:visited { color: #000080;
   font-weight: bold }
a:hover { color: #FF0000;
   font-weight: bold }
a:active { color: #FF0000;
   font-weight: bold }