body { margin-left:3em; margin-right:3em }
a:hover { color:red }
p { font-family:sans-serif; text-indent:1em }
address { font-family:sans-serif }
img { border:0 }
thead { background-color:#C0C0C0; }
p.since { font-size:smaller; text-align:right; font-family:sans-serif; font-style:italic }
p.tl { font-size:smaller; text-align:right }
p.ref { font-size:smaller; text-align:left; font-family:sans-serif; font-style:italic }
div.foot { font-size:smaller; font-style:italic }
table.cfg { font-family:sans-serif; font-weight:bold; background-color:#CCCCFF; } 
table.cmd { font-family:sans-serif; font-weight:bold; background-color:#6666FF; } 
table.cnt { font-family:sans-serif; font-weight:bold; background-color:#99FF00; }