body {
  padding-left: 11em;
  font-family: Helvetica, Geneva, Arial,
        SunSans-Regular, sans-serif;
  color: black;
  background-color: #ffffff }
ul.navbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  top: 2em;
  left: 1em;
  width: 9em }
h1.maintitle {
  font-size: 3em}
ul.navbar li {
  background-color: #c0ffc0;
  margin: 0.1em 0;
  padding: 0.1em;
  border-right: 0.3em solid black }
ul.navbar a {
  text-decoration: none }
a:link {
  color: green }
a:visited {
  color: darkgreen }
address {
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted }