body { margin-left: 5em; margin-right: 5em; font-family:  verdana, arial, helvetica; }
dl dt { font-weight:bold; width: 30%; margin-top: 20pt;}
dl dd { indent-left: 30%; }

ul { margin-left: -1em; padding-left: -1em; }

pre { border: 1px solid black; }