a.nav            { color: #FFFFFF;  text-decoration: none; }
a.nav:hover      { color: #000080 }

a            { color: #4F4FFF;  text-decoration: none; }
a:hover      { color: #000080 }
a.ref        { color: #000080;  text-decoration: none;  font-family: arial; font-size: 10;}
a.ref:hover  { color: "darkorange" }
td.text      { color: #000080;  text-decoration: none;  font-family: arial; font-size: 10;}
td.head      { color: #0000FF;  font-family: times; font-size: 12;}
div.text     { color: #000080;  text-decoration: none;  font-family: arial; font-size: 11;}

ul {margin-left:15px;}
.footer {color: #000080;  text-decoration: none;  font-family: arial; font-size: 12;}
h1 {color: #000080;  text-decoration: none;  font-family: arial; font-size: 14px;}
h2 {color: #000080;  text-decoration: none;  font-family: times; font-size: 12px;}