body {
  background: #ffffff;
  font: 12pt times, serif;
  color: #003300;
  margin: 15px;
}
body.menu {
  background: #003300;
  font: 12pt times, serif;
  color: #ffffff;
  margin: 5px;
}
table {
  border: 3px dotted #003300;
}
table.menu {
  border: 0px;
}
table.blank {
  border: 0px;
}
input {
  background-color: #ffffff;
  border: 1px dotted #003300;
  font-family: 'century gothic', sans-serif;
  color: #003300;
}
a:link, a:visited, a:active {
  font-family: 'times new roman', serif;
  color: #003300;
  text-decoration: underline;
}
a:hover {
  font-family: 'times new roman', serif;
  color: #006600;
  text-decoration: underline;
}
a:link.menu, a:visited.menu, a:active.menu {
  font-family: 'times new roman', serif;
  color: #ccffcc;
  font-variant: small-caps;
}
a:hover.menu {
  font-family: 'times new roman', serif;
  color: #99cc99;
  font-variant: small-caps;
}
div.text {
  text-indent: 3ex;
}