BODY {margin: 0 10%; font-family: sans-serif;}

CODE, PRE {font-size: 120%;}

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

UL {margin-top: .5ex; margin-bottom: 3ex}
UL UL {margin-top: 0.4em; margin-bottom: 0.4em;}
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.italic DT {font-style: italic;}
DL.normal DT {font-weight: normal; margin-bottom: 0.3em;}
DL.normal DD {margin-bottom: 0.5em;}
DL P, LI P, DD UL, DD LI {margin-left: 0; margin-right: 0;}

H1 {margin: 1em; font-size: 150%; text-align: center; color: #330000;}
H2, H3 {margin: 1.5em -1em 1em; color: #330000;}
H4 {margin: 1.5em 0 0.5em;}

BR.break {display: block; margin: 2em auto;}
.input, .new {color: #009900;}
.prompt {color: #888;}
.pseudo {color: #006699;}
.center {text-align: center;}
.added {border: 1px dashed red; padding: 0.1em;}
UL.spaced LI {margin: 0.7em 0em;}

.hint {color: #eeeeee; background-color: #eeeeee;}

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

TABLE {margin: 1em 0em;}
TABLE.normal TH, TABLE.normal TD {border: 0; text-align: center; vertical-align: top;}