BODY { background: #fff none; color: #000 }
DIV.notations, DIV.examples { margin-left: 2em }
P.note-note,P.note-caution { margin-left: 2em; margin-right: 4em }
.note-note { color: #800 }
.note-caution { color: #c00 }
TABLE.setup-summary { width: 100% }
.kc1 { padding-left: 2em }
.kc3 { padding-left: 1em }
.kc4 { padding-right: 2em }
.kc14 { padding-left: 2em; padding-right: 2em }

CODE.seq { background-color: #fff; color: #090; font: 100% }
/* CODE is also used for mnemonics of modes */
DT { margin-top: 1em }
.checkthis { background-color: #f00; color: #fff }
H3 { display: run-in; font-size: 100% }
H3:after { content: "." }
/*DEBUG .mnemonic { color: #000; background-color: #fcc } */

DL#CODEDESC { margin-left: 5em }
DL#CODEDESC DT { font-weight: bolder }
DL#CODEDESC DT .mnemonic { float: left; width: 5em; margin-left: -5em; margin-right: 1em; text-align: right }
DL#CODEDESC DD { margin-left: 1em }

A:link { color: #00f; background-color: #fff }
A:visited { color: #906; background-color: #fff }
A:active { color: #f00; background-color: #fff }

#BOOKTITLE { color: #000; txt-align: center }
#COVER, .contentslink { text-align: center }
#COVER IMG { border: none }
IMG.button { border: none }
DIV.navbot { text-align: right }

#BOOKTITLE { text-align: center }