html { 
   margin: 0; padding: 0; 
   }
body { 
   font-family: Times New Roman, serif;
   font-weight: normal;
   font-size: 10pt;
   line-height: 1.1em;
   color: black;
   margin: 0.0em; padding: 0; 
   background: rgb(100%,100%,100%); 
   }
h1 {
   font-family: Helvetica, sans-serif;
   font-weight: normal;
   font-size: 130%; 
   letter-spacing: 1px;
   color: rgb(50%,5%,5%);
   }
h2 {
   font-family: Helvetica, sans-serif;
   font-size: 130%; 
   font-weight: normal;
   }
h3 {
   font-size: 110%; 
   font-weight: normal;
   margin: 0; padding: 0; 
   }   
h4 {
   font-size: 90%; 
   font-weight: normal;
   margin: 0; padding: 0; 
   }   
div#indent3 {
   margin-left: 3%;
   }
div#indent10 {
   margin-left: 10%;
   }
div#headline {
   position: absolute; top: 0px; left: 0px; width: 100%; 
   text-align: center;
   }
div#toc {
   float: left; width: 200px;
   float: top;
   position: fixed;
   padding-left: 1.0em; padding-right: 1.0em;
   line-height: 1.6em;
   background: rgb(95%,95%,80%);
   height: 100%;
   border-top: 0px solid black;
   border-right: 1px solid black;
   border-left: 0px solid black;
   font-size: 95%;
   }
div#toc a:hover {
   color: rgb(100%,100%,100%);
   background: rgb(30%,30%,70%);
   }
div#content {
   position: absolute; top: 0px; left: 225px; width: 73%;
   line-height: 1.2;
   padding-left: 1em;
   padding-right: 1em;
   height: 100%;
   margin-top: 0px;
   border-top: 0px solid black;
   border-right: 0px solid black;
   border-left: 0px solid black;
  }
div#main {
   position: absolute; top: 0px; right: 0px; width: 65%;
   position: fixed;
   line-height: 1.2;
   padding-left: 1em;
   padding-right: 1em;
   height: 100%;
   margin-top: 0px;
   border-top: 0px solid black;
   border-right: 0px solid black;
   border-left: 0px solid black;
  }