body {
  padding-left: 1em;
  font-size: 1em;
  font-family: Helvetica, Arial, sans-serif;
  color: black;
  background-color: #FFFFE0 }
h1 {
  font-family: Helvetica, Arial, sans-serif }

p.navbar {
  margin-bottom: 1em;
  padding-bottom: 1em;
  border-bottom: thin solid 
  }
p.navbar a {
  text-decoration: none }
p.update {
  font-size: 75%;
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted
  }
p.copyright {
  font-size: 75%;
  margin-bottom: 1em;
  padding-bottom: 1em;
  border-bottom: thin dotted
}
a:link {
  color: #AA0000 }
a:active {
  color: #0000FF }
a:visited {
  color: #880000 }