html, body {
  font-size: 12pt;
  font-family: Garamond, Times, serif;
  color: #003366;
  background-color: #999999;
  margin: 0;
}
html {
  padding: 0;
}
body {
  padding: 5px;
}
div {
  margin: 0;
  padding: 0;
  border: none;
}
img {
  margin: 0;
  padding: 0;
  border: none;
}
a, a:visited {
  color: #336699;
}
a:hover, a:active {
  color: #880000;
}
#siteinfo {
  margin: 5px;
  font-family: Verdana, sans-serif;
  font-size: 8pt;
}
#siteinfo a, #siteinfo a:visited {
  color: #003366;
  text-decoration: none;
}
#siteinfo a:hover, #siteinfo a:active {
  color: #880000;
}