a.nav: {color: #E0E0C0; font-weight: bold; text-decoration: none}
a.nav:link {color: #E0E0C0; font-weight: bold; text-decoration: none}
a.nav:visited {color: #E0E0C0; font-weight: bold; text-decoration: none}
a.nav:hover         { color: #E0E0C0; font-style: italic}
a.bnav: {color: darkblue; font-weight: bold; text-decoration: none}
a.bnav:link {color: darkblue; font-weight: bold; text-decoration: none}
a.bnav:visited {color: darkblue; font-weight: bold; text-decoration: none}
a.bnav:hover         { color: darkblue; font-style: italic}
h1.border {font-weight:bold; font-style: italic; 
           font-family=Lucida sans; font-size: 30pt}
body.border { color: darkblue; background: #3cb371; font-family: Lucida sans;}
body { color: darkblue; background: #E0E0C0; font-family: Lucida sans;