body {
  font-family: Helvetica, Arial;
  margin: 2px;
}

h1 {
  text-align: center;
  margin: 0px 0px 3px 0px;
  padding: 3px;
  color: white;
  background-color: #009900;
}

td {
  background-color: white;
}

td.head {
  background-color: #009900;
  color: white;
  text-align: center;
  font-weight: bold;
}

dt {
  font-weight: bold;
  margin-top: 3px;
}

pre {
  border: 1px solid;
  padding: 2px;
}

a:link {
  color: #009900;
}
a:visited {
  color: #003300;
}