body {
  color: #000000;
  font-family: Verdana,Geneva,Arial,Helvetica,sans-serif;
  font-size: 12pt;
  margin: 0;
  padding: 0;
  height: 100%;
}

a:link, a:visited, a:active {
  color: #086FA1;
  text-decoration: none;
  font-weight: bold;
}

a:hover {
  color: #3CA0D0;
}

img {
  border-width: 0;
}

.centered {
  text-align: center;
}

img.centered, div.centered, table.centered, object.centered {
  display: block;
  float: none;
  margin-left: auto;
  margin-right: auto;
  text-align: left;
}

/* Heavily modified 3-column design from http://css.maxdesign.com.au/floatutorial/tutorial0815.htm */
#container {
  max-width: 75em;
  min-width: 55em;
  background-color: #fff;
  color: #333;
}

#top {
  padding: 0.5em 0.5em 0.5em 25px;
  background-color: #034769;
  color: #FFFFFF;
}

#top h1 {
  padding: 0;
  margin: 0;
}

#top a:link, #top a:visited, #top a:active, #top a:hover {
  color: #FFFFFF;
  text-decoration: none;
}

#leftnav {
  float: left;
  margin: 3em 1em;
  padding: 1em;
  font-weight: bold;
  font-size: 11pt;
  border: 2px solid black;
}

#leftnav ul {
  padding: 0 0 0 1.5em;
  margin: 0;
}

#leftnav li {
  list-style-image: none;
  list-style-position: outside;
  list-style-type: none;
}

ul#menu {
  padding: 0;
}

#content {
  margin-left: 150px;
  padding: 1em;
}

#footer {
  clear: both;
  margin: 0;
  padding: .5em;
  color: #333;
  background-color: #ddd;
}

#content h2 {
  margin: 0 0 .5em 0;
}

pre.code {
  background-color: #F5F5F5;
  border: 1px solid #A8A8A8;
  padding: 7px;
  font-family: monospace;
  white-space: pre-wrap;
  word-wrap: break-word;
}