<!--
body {
  font-family: sans-serif, Verdana, Tahoma;
  font-size: small;
}

a {
  color: #000080;
  text-decoration: none;
}

a:visited {
  color: #0000FF;
}

a:hover {
  text-decoration: underline;
}
-->