<!--
body {
  background: #C0FFC0 url(navback.gif);
  color: #000000;
  font-family: Verdana, sans-serif;
  }

A {
  color: #0000FF;
  background: transparent;
  font-size: 80%;
  font-weight: bold;
  }

A:link {
  color: #0000FF;
  background: transparent;
  }

A:visited {
  color: #800000;
  background: transparent;
  }

A:hover {
  color: #FFFFFF;
  background: #0000FF;
  }

H1 {
  font-size: 150%;
  }

H2 {
  font-size: 120%;
  }

.center {
  text-align: center;
  }
-->