body {
  margin-top: 1.8em;
  margin-left: 1.5em;
  padding-left: 12em;
  font-family: Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
  font-size: medium;
  line-height: 150%;
  color: rgb(36, 36, 36);
  background: rgb(255, 255, 255) }
strong {
  color: rgb(0, 0, 0)
}
pre {
  font-family: Arial, Helvetica, Geneva, SunSans-Regular, sans-serif;
  color: white;
}
ul.navbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  align: center;
  position: absolute;
  font-weight: bold;
  top: 1em;
  left: 1em;
  width: 11emi}
ul.navbar li {
  background: rgb(240, 240, 240);
  margin: 0.5em 0;
  padding: 0.3em;
  border-right: 0.5em solid rgb(220, 220, 220) }
ul.navbar a {
  text-decoration: none }
a:link {
  color: rgb(57, 144, 255)}
a:visited {
  color: rgb(200, 85, 200)}
address {
  margin-top: 1em;
  padding-top: 1em;
  border-top: thin dotted 
}
li {
margin-left: -20px;
}