body {
  margin: 0;
  padding: 0;
}
#top {
  margin: 5px;
  padding: 5px;
  height: 100px;
}
#wrapper {
  margin: 0 10px;
  padding: 0;
}
#left {
  float: left;
  width: 200px;
}
#right {
  float: right;
  width: 200px;
  font-family: Arial, Helvetica, sans-serif;
  font-size: smaller;
}
#center {
  margin-left: 210px;
  margin-right: 210px;
  background-color: #eee;
}
#clear {
  clear: both;
}
#footer {
  background: #ccc;
  margin: 20px;
  text-align: center;
  font-family: sans-serif;
  font-size: smaller;
}

/* Removes default top margin from left/right column paragraphs in Mozilla */
div > p {
  margin-top: 0;
}

ul#mainnav {
  list-style: none;
  margin: 0;
  padding: 0;
}

ul#mainnav li {
  border-top: 1px solid #a5b5c6
}

ul#mainnav li a:link, ul#mainnav li a:visited {
  display: block;
  text-decoration: none;
  width: 88%;
  padding: 6px 6%;
  background-color: #5c6f90;
  font: bold 10pt/1.5 arial, sans-serif;
  color: #ffffff;
}

ul#mainnav li a:hover {
  background-color: #43616b;
  color: #eee;
}

.highlight {
  color: #000000;
  background-color: #f0f000;
}