body {
  color: black; 
  background: white;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
}

pre { font-family: monospace; }

div.box { border: solid; border-width: thin; width: 100% }

ul.navbar {
  list-style-type: none;
  padding: 0 0 0 0;
  margin: 90px 0 0 0;
  position: absolute;
  left: 1em;
  width: 9em 
}

ul.navbar li {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
  color: #000000;
  margin-top: 0.5em;
  margin-left:  1em;
  margin-right: 1em;
  margin-bottom: 0.5em;
}

ul.navbar li.nested {
  margin-left:  2em;
  margin-top: 0.25em;
  font-size: 10px;
}

div.topbar {
  position: absolute;
  padding: 0 0 0 0;
  margin: 5px 0 0 0;
  left: 1em; 
  height: 80px;
/*  width: 80%; */
  background-image: url(images/ocean_background.png);
  background-repeat: repeat-x;
}

div.title {
  text-align: center;
}

div.mainbody {
/*  margin: 90px 10% 0 0; */
/*  padding: 0 0 0 11em; */
  margin: 0 10% 0 0;
  padding: 90px 0 0 11em;
}