DT { margin-top: 0.2in; font-weight: bold }
DD { font-weight: medium }
PRE { margin-left: 0.39in }
P.tty { margin-left: 0.79in; font-family: "Courier New, monospace" }
P.indent { margin-left: 0.39in }
LI { margin-top: 0.1in }
BODY { background-color: rgb(250,250,250) }