body {
   margin: 100px 0;
   color: #333;
   background-color: #fcfcfc;
  }
  div.all {
   margin: auto;
   max-width: 600px;
  }
  *html div.all {
   margin: auto;
   width:expression(document.body.clientWidth > 602? "600px" : "auto");
  }
  h1 {
   font-size: 120%;
   font-weight: normal;
   border-bottom: solid 1px #333;
   padding-bottom: 5px;
   padding-left: 5px;
   margin: 1em 25px;
  }
  a:link {
   color: #333;
  }
  a:visited {
   color: #666;
  }
  a:active {
  }
  a:hover {
   color: #990033;
  }
  div.link {
   color: #666;
   text-align: right;
   margin: 0 25px;
  }
  div.document {
   line-height: 170%;
   margin: 3em 25px;
  }
  h2 {
   font-size:100%;
   font-weight: normal;
   margin: 1em 25px;
   border-left: solid 10px #333;
   padding:0.3em 0 0.3em 1em;
  }
  div.copyright {
   text-align: center;
   font-size: 90%;
   margin-top: 3em;
  }
  div.dwarflink {
   text-align: right;
   font-size: 10px;
   margin-top: 30px;
  }