body { font-family:Verdana,Arial,Helvetica,sans-serif; }
hr { height:0px; border-width:1px; border-color:#000099; border-style:none none solid none; }

a:link { color:#000099; text-decoration:none; }
a:active { color:#000099; text-decoration:none; }
a:visited { color:#000066; text-decoration:none; }

a:link:hover { color:#0000ff; text-decoration:underline; }
a:visited:hover { color:#0000ff; text-decoration:underline; }

div.figure { text-align:center; }
span.term { font-weight:bold; }