BODY { background-color: #EEEEEE }
A:hover { color: green }
H1 { color: #000000;
     text-align: center;
     font-family: Verdana, Arial Black, Arial, Helvetica, sans-serif;
}
H2 { color: #000000;
     font-family: Verdana, Arial, Helvetica, sans-serif;
}
H3 { color: #000000;
     font-family: Verdana, Arial, Helvetica, sans-serif;
}
UL { margin-top: 0;
     border-top-width: 0;
     padding-top: 0
}
DT { font-weight: bold;
}
PRE { font-size: 92%;
}
CODE { font-size: 92%; 
}
.TOC { font-size: 80%;
       font-weight: bold;
       font-family: Verdana, Arial, Helvetica, sans-serif;
}
TH.COLORED { background-color: #DD00DD
}
TR.COLORED { background-color: #DD00DD
}
TH.TITLE   { background-color: #FF00FF;
             font-size: 22px;
             font-family: Verdana, Arial, Helvetica, sans-serif;
}