html, body {
   font-family: sans-serif;
   font-size: 12pt;
   background: #e0e0f0;
   height: 90%;
}

tt {
   font-family: monospace;
   font-size: 12pt;
   color: #002080;
}

li {
   margin-bottom: 1em;
}

li.toc {
   font-size: 9pt;
   margin-bottom: 0em;
}

td {
   font-family: sans-serif;
   font-size: 12pt;
}

th {
   background: #002080;
   color: #ffffff;
}

h1 {
   color: #ffffff;

   font-size: 18pt;
   font-weight: bold;
   background: #002080;

   margin-top: 0px;

   padding-top: 5px;
   padding-bottom: 5px;

   text-align: center;
}

h2 {
   color: #002080;
   background: #e0e0f0;

   font-size: 16pt;
   font-weight: bold;

   border-bottom: dotted;
   border-top: dotted;
   border-color: #002080;
   border-width: 2px;

}

h3 {
   color: #002080;
   font-size: 14pt;
   font-weight: bold;
}

h4 {
   font-size: 12pt;
   font-weight: bold;
   color: #002080;
}

hr {
   border-color: #a0a0d0;
   border-style: dotted;
   border-width: 1px;
}

b {
   font-weight: bold;
   color: #002080;
}

em {
   font-style: italic;
   color: #002080;
}

a, a:visited {
   color: #0040a0;
}


div#super {
   position: absolute;
   left: 0px;
   top: 0px;
   width: 100%;
   height: 100%;
}

div#menu {
   float: left;

   margin-top: 15px;
   margin-right: 0px;
   margin-left: 15px;

   overflow: crop;
   width: 170px;
}

div#content {
   padding: 5px;
   margin-top: 15px;
   margin-right: 15px;
   margin-left: 0px;

   border-style: solid;
   border-width: 2px;
   border-color: #002080;
   overflow: auto;

   height: 100%;

   background: #f8f8ff;
}

a.menuitem {
   margin: 3px;

   display: block;
   cursor: pointer;
   border-style: solid;
   border-width: 2px;
   border-color: transparent;

   font-size: 12pt;
   font-weight: bold;

   text-decoration: none;
   text-align: right;

   color: #002080;
}

a.menuitemsel {
   margin: 3px;

   display: block;
   cursor: pointer;
   border-style: solid;
   border-width: 2px;
   border-color: transparent;

   font-size: 12pt;
   font-weight: bold;

   text-decoration: none;
   text-align: right;

   color: #ffffff;
   background: #002080;
}

a.menuitem:hover {
   border-style: solid;
   border-color: #002080;
}

p.menutitle {
   text-align: center;
   font-size: 14pt;
   font-weight: bold;
   font-style: italic;
   color: #002080;
}

p.menusubtitle {
   text-align: center;
   font-size: 9pt;
   color: #002080;
}

hr.menuhr {
   border-style: dotted;
   border-width: 1px;
   border-color: #002080;
}

p.cover {
   color: #002080;
   background: #e0e0f0;

   text-align: center;

   font-size: 18pt;
}

p.legal {
   font-size: 8pt;
   color: #a0a0a0;
}

div.floatfig {
   float: left;
   background: #ffffff;

   margin: 15px;
   padding: 15px;

   border-style: solid;
   border-width: 1px;
   border-color: #002080;

   font-size: 9pt;
   font-weight: bold;
   text-align: center;
}

div.blockfig {
   background: #ffffff;

   margin: 15px;
   padding: 15px;

   border-style: solid;
   border-width: 1px;
   border-color: #002080;

   font-size: 9pt;
   font-weight: bold;
   text-align: center;
}

pre.box {
   font-family: monospace;
   font-size: 10pt;

   padding: 15px;

   background: #e0e0f0;
   border-style: dashed;
   border-width: 1px;
   border-color: #808080;
}

p.undercons {
   border-color: #ff0000;
   border-width: 2px;
   border-style: dashed;

   font-weight: bold;
   font-size: 14pt;

   background: #fff0f0;

   color: #ff0000;
}