body  {font-family:verdana,arial;}
h1,h2 { margin:4px; }
dl   { margin:0; }
dt   { float:left;font-family:monospace;font-weight:bold; margin-bottom:1px;}
dd   { margin-left:7em;margin-bottom:1px; }
code { font-weight: bold; font-size: 110%;}
samp { background-color:lightCyan;}