body {
  padding-left: 6em;
  border-top: 0.3em solid black;
  font-family: Courier;
  color: black;
  background-color: white }
ul.navbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  position: absolute;
  top: 1em;
  left: .5em;
  width: 5em }
ul.navbar li {
  background: #CCCCCC;
  margin: 0.2em;
  padding: 0.5em;
  border-left: 0.2em solid black;
 }
ul.navbar li.here {
  background: white;
  font-weight: bold;
  margin: 0.2em;
  padding: 0.5em;
  border-left: 0.2em solid black;
 }
ul.navbar li.sub {
  background: rgb(240, 240, 240);
  margin: 0.2em;
  margin-left: 0.5em;
  padding: 0.5em;
  border-left: 0.5em solid black;
 }
ul.navbar li.subhere {
  background: white;
  font-weight: bold;
  margin: 0.2em;
  margin-left: 0.5em;
  padding: 0.5em;
  border-left: 0.5em solid black;
 }
ul.navbar a {
  text-decoration: none }
a:link {
  color: black }
a:visited {
  color: black }
h1 {
  padding-left: 0em;
  border-bottom: 0.2em solid #CCCCCC;
  font-family: Courier
}