body  {font-family:verdana,arial; background-color:lightCyan; margin-top:0} 
h1,h2 { margin:4px; }
h3,h4,h5 {margin:0px;}
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%;}

var  { font-weight:bold }
samp { margin-left:50px;font-family:monospace;font-size:larger; font-weight:bold;color:navy}

td       {vertical-align:top}
td.lrt   {padding-left:.5em;padding-right:.5em; vertical-align:top;border-width:1}