p.indent20 { margin-left: 20px; }
p.indented { text-indent: 1em; }
body { background: white; color: black; font-family: sans-serif; }
pre  { font-family: monospace; }
code { font-family: monospace; }
ref  { } 
img.rightalign  { float: right; }
hr.spaced { margin-top: 10px; margin-bottom: 10px; }
table.outer { width=100%; }