body {
  color: #000033;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: x-small;
}

a {
  color: #888888;
  text-decoration: none;
}

a:visited {
  color: #888888;
}

a:hover {
  color: #FF8000;
  text-decoration: underline;
}