body {
  padding-left: 11em;
  font-family: Georgia, "Times New Roman",
        Times, serif;
  color: purple;
  background-color: white }
ul.hdbar {
  list-style-type: none;
  padding: 0;
  margin: 0;
  position: absolute;
  top: 0em;
  left: 9em;
  width: 40em }
h1 {
  font-family: Helvetica, Geneva, Arial,
        SunSans-Regular, sans-serif }
ul.hdbar li {
  background: #91b9e2;
  margin: 0.5em 0;
  padding: 0.3em;
  border-right: 1em solid lightgreen }
ul.hdbar a {
  text-decoration: none }
//a:link {
//  font-family: Georgia, "Times New Roman",
//        Times, serif;
//  font-size: small;
//  color: darkblue }
//a:visited {
//  font-family: Georgia, "Times New Roman",
//        Times, serif;
//  font-size: small;
//  color: purple }