body { font-family: Times, serif;
      padding: 0; }
p { margin-top: 0.5em; }
h1 { font-size: 200%;
      margin-bottom: 0.5em;
      font-weight: bold;
      text-align: center; }
h2 { font-size: 115%;
      margin-top: 1em;
      margin-bottom: 0.5em;
      font-weight: bold;
      text-align: center; }
h3 { font-size: 115%;
      font-weight: bold;
      text-align: left;
      margin-top: 1em;
      margin-bottom: 0.4em; }
h4 { font-size: 100%;
      font-weight: normal;
      text-align: center;
      margin-top: 1em;
      margin-bottom: 0.3em; }
li { margin-bottom: 0.3em; }
td { vertical-align: top; }
.compact { margin-top: 0px;
      margin-bottom: 0px; }
.floatleft { float: left; }
.floatright { float: right; }
div#header {border-bottom-style: solid;
      border-width: 1px;
      margin-bottom: 10px; }
div#headname {font-size: 60%;
      font-family: Ariel,sans-serif;
      color: blue;
      position: absolute;
      top: 10px; left: 10px; }
div#menu { font-family: Ariel, sans-serif;
      line-height: 170%;
      background: lemonchiffon;
      padding-left: 5px;
      padding-right: 5px;
      padding-bottom: 3px; }
div#content {margin-left: 10px;
      margin-right: 10px; }
div#footer { font-size: 75%;
      margin-top: 5px;
      border-top-style: solid;
      border-width: 1px;
      border-color: black;
      color: gray; }