body {
  margin: 0;
  padding: 0;
  background-color: white;
}
#main {
  position: absolute;
  width: 100%;
}
#menu {
  position: absolute;
  height: 3ex;
  width: 100%;
  border-spacing: 0;
}
#menu td {
  padding: 0;
  border-left: solid white 1px;
  border-bottom: solid white 1px;
}
#menu td, #menu td :link, #menu td :visited {
  background-color: navy;
  color: rgb(255, 255, 255);
  text-align: center;
  font-weight: bold;
  text-decoration: none;
}
#menu td.active, #menu td.active :link, #menu td.active :visited {
  background-color: rgb(20, 20, 180);
  text-decoration: none;
}
#submenu {
  position: absolute;
  top: 3ex;
  width: 7.5em;
}
#submenu span {
  display: block;
  margin: 0 0 1px 1px;
  padding: 3px;
  background-color: rgb(90, 32, 128);
}
#submenu span.active { background-color: rgb(150, 53, 192); }
#submenu span, #submenu span :link, #submenu span :visited {
  color: rgb(255, 255, 255);
  text-decoration: none;
  text-align: center;
}
#body {
  margin: 3ex 0 0 7.5em;
  padding: 1ex 0 0 0.5em;
  background-color: rgb(255, 255, 200);
  border: solid 1px black;
}
#body p {
  margin: 1ex 0 0 0;
}
#body h1 {
  font-size: 140%;
  font-weight: bold;
  text-align: center;
}
#body h2 {
  font-size: 120%;
  font-weight: bold;
}
#body dt {
  display: run-in;
  font-weight: bold;
}
#body dd {
  margin-left: 2em;
}
img.floatright {
  float: right;
}