div#container {
  width: 930px;
  margin-left: auto;
  margin-right: auto;
}

div#menu {
   position: fixed;
   width: 170px;
   margin-top: 20px;
   text-align: center;
   font-size: 8pt;
/*   border-right: 1px solid gray;*/
}

div#contents {
   width: 754px;
   margin-top: 10px;
   float: right;
   font-size: 9pt;
   line-height: 30px;
/*   border-left: 1px solid gray;*/
/*   border-right: 1 px solid gray;*/
}

body {
   font-family: DejaVu Sans, Verdana, sans-serif;
   background-color: white;
   color: black;
}

html { /* Ideally, this creates a permanent vertical scrollbar on pages that do not fill a whole screen. */
   min-height: 100%;
   margin-bottom: 1px;
}

img {
  border-style: none;   /*  This takes care of the blue border */
}                                  /* around images that are links.       */

a:link {
   text-decoration: none;
   font-style: italic;
   color: black;
   font-weight: bold;
}

a:visited {
   text-decoration: none;
   font-style: italic;
   color: black;
   font-weight: bold;
}

a:active {
   text-decoration: none;
   font-style: italic;
   color: black;
   font-weight: bold;
}

a:hover {
   text-decoration: none;
   font-style: italic;
   color: black;
   font-weight: bold;
}

a.menulink:link {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #dddddd;
   color: black;
   display: block;
   margin: 10px;
   padding: 5px;
}

a.menulink:hover {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #999999;
   color: #000000;
   display: block;
   margin: 10px;
   padding: 5px;
}

a.menulink:visited {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #dddddd;
   color: #000000;
   display: block;
   margin: 10px;
   padding: 5px;   
 }

a.menulink:active {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #dddddd;
   color: #000000;
   display: block;
   margin: 10px;
   padding: 5px;
}

a.menulinkcurrent:link {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #999999;
   color: #000000;
   display: block;
   margin: 10px;
   padding: 5px;   
}

a.menulinkcurrent:hover {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #999999;
   color: #000000;
   display: block;
   margin: 10px;
   padding: 5px;   
 }

a.menulinkcurrent:visited {
   font-style: normal;
   font-weight: normal;
   text-decoration: none;
   background-color: #999999;
   color: #000000;
   display: block;
   margin: 10px;
   padding: 5px;   
}

a.menuheadinglink:link {
   font-style: normal;
   font-weight: bold;
   text-decoration: none;
   background-color: #ffffff;
   color: black;
   display: block;
   border: 1px solid gray;
   text-align: center;
   font-size: 10pt;
   margin: 10px;
   padding: 5px;   
}

a.menuheadinglink:active {
   font-style: normal;
   font-weight: bold;
   text-decoration: none;
   background-color: #ffffff;
   color: black;
   display: block;
   border: 1px solid gray;
   text-align: center;
   margin: 10px;
   padding: 5px;
}

a.menuheadinglink:hover {
   font-style: normal;
   font-weight: bold;
   text-decoration: none;
   background-color: #ffffff;
   color: #000000;
   display: block;
   border: 1px solid gray;
   text-align: center;
   margin: 10px;
   padding: 5px;   
}

a.menuheadinglink:visited {
   font-style: normal;
   font-weight: bold;
   text-decoration: none;
   background-color: #ffffff;
   color: #000000;
   display: block;
   border: 1px solid gray;
   text-align: center;
   margin: 10px;
   padding: 5px;
}

a.tocentry:link {
   text-decoration: none;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
   font-weight: normal;
/*   padding-left: 25px;*/
/*   margin-left: 3px;*/
   margin-right: 1px;
}

a.tocentry:visited {
   text-decoration: none;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.tocentry:active {
   text-decoration: none;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.tocentry:hover {
   text-decoration: underline;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   background-color: #999999;*/
/*   display: block;*/
   font-size: pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.tocentrycurrent:link {
   text-decoration: underline;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.tocentrycurrent:visited {
   text-decoration: none;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.tocentrycurrent:active {
   text-decoration: none;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.tocentrycurrent:hover {
   text-decoration: underline;
   font-style: normal;
   font-weight: normal;
   color: #000000;
/*   text-align: center;*/
/*   display: block;*/
   font-size: 8pt;
/*   margin-left: 10px;*/
   margin-right: 1px;
}

a.footnote:link {
   text-decoration: none;
   font-style: normal;
   font-weight: bold;
/*   display: block;*/
}

hr {
   margin-left   : 10%;
   margin-right : +10%;
}

h3 {
   text-align: center;
}

h4 {
   text-align: center;
}

h5 {
   text-align: center;
}

p.text {
/*   text-indent: 20px;*/
   padding-left: 25px;
   font-size: 11pt;
}

p.textindent {
   padding-left: 45px;
   font-size: 11pt;
}
p {
   padding-left: 25px;
   font-size: 11pt;
}