body {
  text-align:justify;
  padding: 2em 70px 2em 70px;
  margin: 0;
  font-family: Verdana,sans-serif;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
  }
  pre, code {background:#DDDDDD; font-family: Courier,monospace; margin-left: 2em} 
  dt, dd { margin-top: 0; margin-bottom: 0 ; text-align: left;} 
  dt { font-weight: bold }
  h1, h2, h3 {background: transparent; font-family: Tahoma,sans-serif; font-weight: bold }
  h1 { color: #333399; font-size: 190%}
  h2 { color: #6666CC; font-size: 160%}
  h3 { color: #8888CC; font-size: 130%}
  div.head {background: #CCCCCC; border:thin; border-color:black; padding:1em;}
  div.sf {float:right; vertical-align:middle; text-align:right;}
  div.menu {float:left; padding: 10px 10px 100px 10px; width:250px; background:#CCCCCC ; text-align:left; margin-right:10px;}