body {
  font-family: georgia, "times new romans", times, serif; 
  font-size: 9pt;
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
}
a {
  font-family: tahoma, arial, helvetica, sans-serif;
  text-decoration: none;
  color: #0000FF;
}
a:visited {
  text-decoration: none; 
  color: #800080;
}
a:hover {
  text-decoration: underline;
  color: #FF00FF;
}
menu.mmbar {
  color: #0000FF;
  margin-top: 0px;
  margin-bottom: 0px;
}
menu.hvbar {
  color: #000000;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-bottom: 13px;
}
menu.vvbar {
  color: #000000;
  padding-left: 13px;
  margin-top: 0px;
  margin-bottom: 0px;
}