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:#0000ff; text-decoration:none; }
a:active { color:#0000ff; text-decoration:none; }
a:visited { color:#0000ee; 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; }
div.example { padding-left:8px; background-color:#eeeeee; border-width:0px 0px 0px 2px; border-color:#449900; border-style:solid; }