a
 {
   color: #4466aa;
   font-weight: bold;
   text-decoration: none;
 }

a:hover
 {
   background-color: #99ccff;
 }

a:visited
 {
   color: #993399;
 }

body
 {
   background-color: #fcfcea;
   font-family: Tahoma, Verdana, sans-serif;
   font-size: 11px;
 }

.button
 {
   color: navy;
   font-family: Tahoma, Verdana, sans-serif;
   font-size: 9px;
   font-weight: bold;
   margin: 0px -2px;
   padding: 0px;
 }


.cell-bottom-border
 {
    border-style: solid; 
    border-width: 0px 0px 2px 0px; 
    border-color: #6699ff;
 }

.center
 {
    text-align: center;
 }

.equation
 {
    background-color: #bbddff;
    border-color: #ddeeff;
    border-style: solid;
    border-width: 1px;
    font-weight: bold;
    -moz-border-radius: 5px;
    margin: 3px 20px 5px 20px;
    padding: 2px 0px;
    text-align: center;
 }

.error
 {
   font-size: 18px;
   font-family: "Tahoma", "Arial Narrow", "Arial", "Verdana", sans-serif;
 }

.example
 {
   background-color: #6699ff;
   font-size: 14px;
   font-weight: bold;
   margin: 0px 12px;
   -moz-border-radius: 8px;
   padding: 5px;
   text-align: center;
 }

.fineprint
 {
   font-size: 9px;
   font-style: italic;
 }

.finerprint
 {
   font-size: 7px;
 }

.finestprint
 {
   font-size: 5px;
 }

hr
 {
   border-color: #6699ff;
   border-style: solid;
   border-width: 1px;
 }

input
 {
   color: #003366;
 }

.larger
 {
   font-size: 18px;
 }

.main
 {
   position: absolute;
     left: 140px;
     top: 42px;
   text-align: justify;
   width: 523px;
 }

.mainheader
 {
   background-color: #00cc33;
   border-color: #003366;
   border-style: solid;
   border-width: 1px;
   color: #fcfcea;
   font-size: 13px;
   font-weight: bold;
   margin: 2px 0px 1px 0px;
   -moz-border-radius: 8px;
   padding: 1px 5px;
 }

.menu
 {
   background-color: #40cc40;
   border-color: #003366;
   border-style: solid;
   border-width: 1px;
   -moz-border-radius: 8px;
   padding: 2px 4px 5px 4px;
   position: absolute;
     left: 8px;
     top: 57px;
   width: 115px;
 }

.menu a
 {
   color: #fcfcea;
   text-decoration: none;
 }

.menu a:hover
 {
   background-color: #99ccff;
   color: #003366;
 }

.menuheader
 {
   background-color: #6699ff;
   border-color: #003366;
   border-style: solid;
   border-width: 1px;
   color: #003366;
   margin: 3px 0px 3px 0px;
   -moz-border-radius: 5px;
   padding: 1px 5px;
 }

.menu-expand
 {
   font-size: 14px;
 }

.miniheader
 {
   background-color: #6699ff;
   border-color: #003366;
   border-style: solid;
   border-width: 1px;
   color: #fcfcea;
   font-size: 11px;
   font-weight: bold;
   margin: 2px 0px;
   -moz-border-radius: 8px;
   padding: 1px 5px;
 }

ol
 {
   margin: 5px 0px;
 }

ol li
 {
   margin: 0px 15px 0px -15px;
 }

p
 {
   margin: 8px 0px;
 }

.pageheader
 {
   background-color: #00cc33;
   border-color: #003366;
   border-style: solid;
   border-width: 2px 1px;
   color: #003366;
   font-family: Arial, Tahoma, Verdana, sans-serif;
   font-size: 18px;
   margin: 0px 0px -13px 0px;
   -moz-border-radius: 8px 8px 8px 0px;
   padding: 1px 3px;
   spacing: 0px;
   width: 649px;
 }

.pageheader a
 {
   color: #003366;
   font-weight: bold;
   text-decoration: none;
 }

.pageheader a:hover
 {
   background-color: #3366cc;
 }

.pageheaderdate
 {
   background-color: #00cc33;
   border-color: #003366;
   border-style: solid;
   border-width: 0px 1px 2px 1px;
   color: #003366;
   font-family: Verdana, "Courier New", monospace;
   font-size: 9px;
   margin: 0px 0px 5px 0px;
   -moz-border-radius: 0px 0px 5px 5px;
   padding: 1px 3px;
   width: 117px;
   spacing: 0px;
 }

.source
 {
   background-color: #99ddff;
   font-family: "Teletype", "Courier New", monospace;
   font-size: 9px;
   margin: 0px 12px;
   -moz-border-radius: 8px;
   padding: 5px 5px 5px 10px;
   text-align: left;
   white-space: pre;
 }

table
 {
   border-color: #003366;
   border-style: solid;
   border-width: 0px;
 }

table .thinborder
 {
   border-width: 1px; 
 }

td
 {
   background-color: #ddeeff;
   padding: 1px 4px;
   text-align: left;
   vertical-align: top;
 }

th
 {
   background-color: #ddeeff;
   padding: 1px 4px;
 }

.u,
.underline
 {
    text-decoration: underline;
 }

ul
 {
   margin: 5px 0px;
 }

ul li
 {
   margin: 0px 15px 0px -15px;
 }

.unicode
 {
   font-family: 'Lucida Sans Unicode', Verdana, Arial, Helvetica, sans-serif;
 }

.whole
 {
   position: absolute;
     left: 20px;
     top: 10px;
   text-align: justify;
   width: 613px;
 }