body { background: white; }
span.title { color:#800000; font-weight:bold; font-size:130% }
span.def { color:blue; font-weight:bold; }
span.sym { font-family: symbol }
span.equ { }
em { font-weight:bold; font-style: normal; }
div.indent { text-indent:0.5in; }