html {  padding: 0; margin: 0; }
body {  background: url(bg10.gif) repeat-y;  }  
font {  font-family: Verdana, Arial, Helvetica, sans-serif;
        line-height: normal; font-style: normal; }
h1   {  color: #000033; 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: #000033; background-color: transparent;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        line-height: normal; font-style: normal; font-size: 140%; }
h3, h4  {  color: #000033; background-color: transparent;
        font-family: Verdana, Arial, Helvetica, sans-serif;
        margin-bottom: 0px; font-style: normal; font-size: 120%; }
p, dd, dt, li, ul, ol, dl, blockquote 
     {  font-family: Verdana, Arial, Helvetica, sans-serif; color: #000033; 
        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; }
.underline  { text-decoration: underline;  }
.border { border: thin double; padding: 5px; color: #FFFFFF; 
          background-color: transparent; font-size: 80%;  
          text-align: left; }
.center  { text-align: center; }
.left    { text-align: left; }
.right   { text-align: right; }
.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; 
        line-height: normal; font-style: normal; }
.nav  {  font-size: 80%; text-align: center; clear: both; }
.red {  font-family: Verdana, Arial, Helvetica, sans-serif; 
        color: #FF0000; background-color: transparent; font-weight: bold; }
.small  {  font-size: 80%;  }
.nospace {  margin-top: 0px;  }
.box { border: thin double; padding-left: 15px; padding-right: 10px; 
          background-color: #FFFFCC; color: #CC3300; }
div.logo1 { position: absolute; left: 10; top: 20; width: 100%;  }
div.navbar { position: absolute; left: 15px; top: 110px; width: 130px;
             vertical-align: top; padding-top: 20px;  text-align: center; }
div.content { position: absolute; left: 190px; top: 110px; vertical-align: top;
              width: 500px; }
div.main  { position: absolute; left: 0px; top: 110px; vertical-align: top;
              width: 800px; }