body   {
  margin: 0;
  padding: 0;
}
div.nav      { font-size: small; font-family: sans-serif, Arial, Inherit; margin: 0; padding: 4px; z-index: 1; width: 16em; float: right; border-style: solid; border-width: 0 0 2px 3px; }
div.main      { margin: 0; padding: 0; position: absolute; z-index: 2; top: 70px; right: 0; left: 0; width: auto; float: left; }
div.banner       {
  background-image: url("http://www.w3.org/2005/MWI/DDWG/images/banner1.jpg");
  background-repeat: repeat-x;
  margin: 0; 
  padding: 0; 
  position: fixed;
  top: 0; 
  right: 0; 
  bottom: 70px; 
  left: 0;
  width: auto;
  height: 70px;
  z-index: 3;
}
div.links {
  font-size: medium;
  font-family: Arial, sans-serif;
  text-align: center;
  margin: 0;
  padding: 0;
  position: absolute;
  top: 48px;
  right: 0;
  bottom: 0;
  left: 0;
  width: 100%;
  height: 22px;
  vertical-align: middle;
  z-index: 4;
 }
div.links>a  { font-weight: bold; text-decoration: none; }
div.links a  { font-weight: bold; text-decoration: none; }
div.links>a:hover  { font-weight: bold; text-decoration: none; }
div.links a:hover  { font-weight: bold; text-decoration: none; }
div.links>a:visited  { font-weight: bold; text-decoration: none; }
div.links a:visited  { font-weight: bold; text-decoration: none; }
div.text { font-size: small; font-family: Arial, Helvetica; padding-right: 6px; padding-left: 6px; }
div.nav>p { margin: 0; padding-top: 1px; padding-bottom: 2px; }
div.nav>p a { text-decoration: none; }
div.nav>p a:hover { }
div.nav>p a:visited { text-decoration: none; }
div.nav p { margin: 0; padding-top: 1px; padding-bottom: 2px; }
div.nav p a { text-decoration: none; }
div.nav p a:hover { }
div.nav p a:visited { text-decoration: none; }
.comment { font-size: x-small; }
p { margin-top: 0.2em; margin-bottom: 0.8em; }
h1  { font-size: large; text-decoration: underline overline; margin-top: 2em; margin-bottom: 1em; }
h2  { font-size: small; font-family: Arial, sans-serif; font-weight: bold; margin: 0.5em 0 0.2em; }