body      { color:#0000AA; font-size: 10pt; font-family: Verdana, Arial, Helvetica; background-color:#FFFFFF; }
h1        { color:#0000AA; font-size: 16pt; font-family: Verdana, Arial, Helvetica; font-weight:bold; margin-top:3px; margin-bottom:3pt}
h2        { color:#0000AA; font-size: 12pt; font-family: Verdana, Arial, Helvetica; font-weight:bold; margin-top:9px; margin-bottom:6pt}
td        { color:#0000AA; font-size: 10pt; font-family: Verdana, Arial, Helvetica; }
a         { font-weight:bold; text-decoration:none;}
a:link    { color:#0000AA; }
a:visited { color:#0000AA; }
a:hover   { color:#FF0000; }
a:active  { color:#FF0000; }

#warning  { color:#FF0000; font-weight:bold; }
#hint     { font-weight:bold; }