html, body {height: 100%}
  body {
    padding-left: 9.5em;
    font-family: arial;
    color: #000000;
    background-color: White;
    text-align: justify}
  ul.navbar {
    background: #f5faff;
    list-style-type: none;
    padding: 0em;
    margin: 0em;
    position: fixed;
    top: 0em;
    left: 0em;
    width: 9.5em;
    border-right: 1px solid black;
    height: 100%}
  ul.navbar li {
    background: #cedff2;
    font-family: arial;
    margin: 0.2em 0.5em;
    padding: 0.1em;
    border: 1px solid black }
  ul.navbar a {
    text-decoration: none }
  ul.navbar li a:link {
    color: black }
  ul.navbar li a:hover {
    background: #FFFFFF }
  ul.navbar li a:visited {
    color: black }
  a:link {
    color: blue }
  a:visited {
    color: purple }
  table {
    font-family: arial;
    background: black;
    border-spacing: 1px }
  td {
    background: #f5faff }
  th {
    background: #cedff2 }
  address {
    font-size: 0.8em;
    margin-top: 1em;
    padding-top: 1em;
    border-top: thin dotted }