
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 }
# body { margin-left: 15%; margin-right: 10%; 
#      background-color: rgb(255, 255, 255)  
#    }
span.ascii { FONT-FAMILY: monospace; FONT-WEIGHT: bold }
li { margin-top: 0.15in }
li.sub { margin-top: 0.04in }
