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) }