A:link { color: #0000FF; text-decoration: none; }
A:visited { color: #0000FF; text-decoration: none; }
A:active { text-decoration: underline; }
A:hover { text-decoration: underline; }

BODY { font-family: Georgia, Arial; background: #FFFFFF; margin: 0;}
DT { font-weight: bold;}

OL.def P A { font-size: 75%;}
OL.def A { font-size: 75%;}
OL LI { margin-left: 20px;}