BODY {margin-left: 5%; margin-right: 5%; margin-bottom: 3em; font-family: sans-serif;}

P, DL, UL, PRE {margin-left: 1em; margin-right: 2em;}
.code {font-family: monospace;}
CODE, PRE, .code {font-size: 120%;}
.code CODE {font-size: 100%; font-style: italic;}

PRE {margin-left: 2em; margin-right: 2em;}

UL {margin-top: .5ex; margin-bottom: 3ex}
DT {font-weight: bold; margin-bottom: 0.5em}
DD {margin-bottom: 1em}
DL.faq DD {margin-bottom: 1.5em;}
/* for relatively normal-looking DT */
DL.normal DT {font-weight: normal; margin-bottom: 0em;}
DL.normal DD {margin-bottom: 0.5em;}
DL P, LI P, DD UL, DD LI {margin-left: 0; margin-right: 0;}

H2 {color: #330000;}
H3 {margin-top: 2em; color: #330000;}

.input {color: #009900;}
.pseudo {color: #331566;}

TABLE {margin: 1em auto; border-collapse: collapse;}
TH, TD {border: 1px solid #333333; padding: 0.2em;}