body {
  background: #fcf8f8;
  font-family: Verdana, Arial, sans-serif;
}

div#map {
  margin-left: 32px;
}

a {
  text-decoration: none;
}

a.greylink
{
  color: lightgrey;
  text-decoration: none;
}

a.greylink:hover
{
  color: white;
  text-decoration: underline;
}

span.header, span.wide_header {
  background: #333a9c;
  color: white;
  padding: 2px 0 2px 16px;
  font-weight: bold;
  display: block;
}

table.mytable {
  width: 840px;
  border: solid #f1e7cf 2px;
  margin-bottom: 2px;
  background: #f1e0b6;
}

span.counter
{
  font-weight: bold;
  padding: 2px 4px 2px 4px;
  margin: 4px 2px 4px 2px;
}