body {  background-color: #FFFFFF; }
font {  font-family: Verdana, Arial, Helvetica, sans-serif; 
        line-height: normal; font-style: normal; }
h1   {  color: #000000; background-color: transparent;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-style: italic; text-align: left; font-size: 160%;
        line-height: normal; font-style: normal; }
h2   {  color: #000000; background-color: transparent;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        line-height: normal; font-style: normal; font-size: 140%; }
h3, h4  {  color: #000000; background-color: transparent;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        line-height: normal; font-style: normal; font-size: 120%; }
p, dd, dt, li, ul, ol, dl, blockquote 
     {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #000000; 
        line-height: normal; font-style: normal; background-color: transparent; }
dt   {  font-weight: bold; }
a:hover { background-color: transparent; color: #FF0000; text-decoration: underline; }
.bold   { font-weight: bold; }
.border { border: thin double; padding-left: 15px; padding-right: 10px; color: #990066; }
.caption { font-family: Verdana, Arial, Helvetica, sans-serif;
           color: #000000; background-color: transparent; font-weight: bold; }
.center  {  text-align: center; }
.right   {  text-align: right;  }
.left    {  text-align: left;   }
.example {  font-family: monospace; }
.green   {  font-family: Verdana, Arial, Helvetica, sans-serif;
          color: #006600; background-color: transparent; font-weight: bold; }
.indent  {  margin-left: 15px;  }
.mono    { font-family: "Courier New", Courier, monospace; ; color: #000033;
         background-color: transparent; }
.nav     {  font-size: 80%; text-align: left; clear: both; }
.red     {  font-family: Verdana, Arial, Helvetica, sans-serif; 
        color: #FF0000; background-color: transparent; font-weight: bold; }
.section {  color: #009999; background-color: transparent; } 
.small   {  font-size: 80%;  }
div.content { position: absolute; left: 0px; top: 10px; vertical-align: top;
              padding-left: 20px; padding-right: 10px; }