BODY { background-color: WHITE }

H1 { color: BLUE;
     text-align: center;
     font-size: 36px;
     font-family: Arial Black, Arial, Helvetica, sans-serif
}
.LARGER { font-size: 120% }
.TINY { font-size: 50% }
H2 { color: #440000;
     text-align: left;
     font-family: Arial, Helvetica, sans-serif
}
H3 { color: #440000;
     text-align: left;
     font-family: Arial, Helvetica, sans-serif
}
UL { margin-top: 0;
     border-top-width: 0;
     padding-top: 0
}

PRE { font-size: 105%;
}
CODE { font-size: 105%; 
}
.TOC { font-size: 90%;
       font-weight: bold;
       font-family: Arial, Helvetica, sans-serif
}
TH.COLORED { background-color: #FFAD00
}
TR.COLORED { background-color: #FFAD00
}
TH.TITLE   { background-color: #EF8429;
             font-size: 40px;
             font-family: Arial, Helvetica, sans-serif;
}
A:hover { color: red }
