BODY
  {
  padding-left: 16em;
  color: black;
  background-color: white;
<!--  margin-left: 10%; margin-right: 10%; -->
  }

  H1
  {
  color: green;
  text-align: center;
  }

  div.navigationmenu UL
  {
  top: 1em;
  right: auto;
  left: 1em;
  width: 12em;
  list-style-type: none;
  text-align:center;
  position: fixed;
  }

  div.navigationmenu LI
  {
    background: silver;
    border-right: 1em solid maroon;
    border-left: 1em solid maroon;
    margin: 0.5em 0;
    padding: 0.3em;
  }

  div.navigationmenu LI:hover
  {
   background: gray;
   border-right: 1em solid red;
   border-left: 1em solid red;
  }

  div.navigationmenu A:hover
  {
  color: yellow;
  font-style: italic;
  background: gray;
  }

<!--   UL.navigationmenu A -->
<!--   { -->
<!--     text-decoration: none -->
<!--   } -->

  div.contact UL
  {
    list-style-type: none;
  }

  div.contact LI
  {
    margin: 0.5em 0;
    color: maroon;
    font-weight: bold;
  }

  div.contacttext LI
  {
    margin: 0.5em 0;
    color: black;
    font-weight: bold;
  }

  div.contacttext A
  {
   color:black;
   font-weight: bold;
   text-decoration: none;
  }

  div.back
  {
    clear:both;
    background: gray;
    padding: 1.5em;
    margin: 3em 0 3em 5em;
  }

  div.section
  {
    background: white;
    border: thin solid black;
    padding: 1.5em;
    margin: -3em 0 0 -3em;
  }

  div.figure
  {
/*    float: right; */
    width: 30%;
    margin: 0.5em;
    padding: 0.5em;
  }

  div.figure P
  {
    text-align: center;
    font-style: italic;
    text-indent: 0;
  }

  ADDRESS {
    margin-top: 1em;
    padding-top: 1em;
    border-top: thin dotted
  }


  PRE { font-family: monospace; }