a {
  font-family: Verdana;
  color: #709090;
  }

a.menuitem:link, a.menuitem:visited {
  font-family: Verdana;
  color: #000000;
  text-decoration: none;
  font-weight: bold;
  }

a.menuitem:active, a.menuitem:hover, a.menuitem:focus {
  font-family: Verdana;
  color: #800000;
  text-decoration: underline;
  font-weight: bold;
  }


ul {
  font-family: Verdana;
  font-size: 80%;
  }

p {
  font-family: Verdana;
  color: #000000;
  font-size: 80%;
  }

p.overviewtext {
  font-family: Verdana;
  color: #000000;
  font-size: 140%;
  font-weight: bold;
  }

b {
  font-family: Verdana;
  color: #709090;
  font-size: 80%;
  }

h1 {
  font-family: Verdana;
  color: #000000;
  background-color: #a0c0c0;
  font-size: 150%;
  }

h2 {
  font-family: Verdana;
  color: #000000;
  background-color: #a0c0c0;
  font-size: 105%;
  }

h2.heading {
  padding: 5;
  }

h3 {
  font-family: Verdana;
  color: #000000;
  background-color: #a0c0c0;
  font-size: 85%;
  }

tt {
  color: #004000;
  font-family: Courier;
  }

pre {
  color: #004000;
  font-family: Courier;
  }

th {
  background-color: #a0c0c0;
  }