td.navbutton {
  border: 3px coral solid; 
  background-color:#1E90FF;  
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-size: 10pt;
  font-weight: bold;
  color: white;
}

td.footer {
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-size: 8pt;
}

div.head {
  border: 3px #1E90FF solid; 
  background-color: coral;  
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-size: 15pt;
  font-weight: bold;
  color: white;
  position: relative; 
  left: 10px; 
  top: 3px; 
  height: 25px; 
  width: 580px;
  text-align: right; 
}

div.highlight {
  font-weight: bold;
}

a.nav:link {color: white; text-decoration: none; }
a.nav:visited {color: white; text-decoration: none; }
a.nav:hover {color: orange; text-decoration: none;}
a.nav:active {color: orange; }
