pre { font-family: Courier; }
code { font-family: Courier; }
body {
  margin-top: 2px; margin-left: 3px;
  font-family: arial,helvetica,sans;
}
A {
  text-decoration: underline;
}
A:hover {
  text-decoration:underline;
  border-top:0px solid #ffffa0;
  border-bottom:0px solid #ffffa0;
  background-color:#ffffa0;
}
A.menu {
   text-decoration: none;
   color: #FFCF00;
}
A.menu:hover {
  color: #FFCF00;
  text-decoration:none;
  background-color:#000090;
}
TD {
   font-size: small;
}