/**/ body { margin-left: 10%; margin-right: 10% } hr { width: 80%; margin-top: 1em; margin-bottom: 1em } hr.mid { width: 50% } hr.tiny { width: 20% } a.plain { text-decoration: none } a.plain:link { color: #009; background-color: inherit } a.plain:visited { color: #006; background-color: inherit } img { padding: 0.5em } img.plain { padding: 0; margin-bottom: 1em } p, blockquote { margin-top: 0.5em; margin-bottom: 0; line-height: 1.2 } h1, h2, h3, h4, h5, h6 { text-align: center; font-style: normal; font-weight: normal; margin-top: 0.5em; margin-bottom: 0.5em; clear: both } h1 { font-size: 250% } h2 { font-size: 200% } h3 { font-size: 150% } h4 { font-size: 120% } h5 { font-size: 100%; margin-bottom: 1em } h6 { font-size: 90% } p.illustration { text-align: center; margin-top: 1em; margin-bottom: 1em } p.hanging { margin-left: 2em; text-indent: -2em } p.caption { text-align: center } p.leftpad { padding-left: 1em } table { margin-left: auto; margin-right: auto; margin-top: 1em; margin-bottom: 1em } table.index { width: 90%; margin-top: 0; margin-bottom: 0 } table.figright { clear: both; margin: 0.5em 0 0.3em 0.5em; padding-left: 1em } table.figures { margin-top: 0.5em; margin-bottom: 0.5em; clear: both } /* illustrations formatted as tables because this works in MSIE while floating paragraphs don't */ td { vertical-align: top; text-align: left; padding: 0.1em 0.8em 0.1em 0.2em } /* for picture tables, floating or multiple */ td.figure { text-align: center; vertical-align: middle; padding: 0 0.5em } td.caption { font-size: 90%; text-align: center; padding: 0.5em } td.number, td.item { text-align: right } td.inset { padding-left: 1em } td.inset2 { padding-left: 2em } td.letterhead { padding-left: 20%; padding-top: 0.5em; font-weight: bold } /* conditional */ table p { margin-left: 2em; text-indent: -2em; margin-top: 0 } table.index td.number { vertical-align: bottom } .chapter { margin-top: 4em; margin-bottom: 1.5em } .section { margin-top: 2em } .invisible { visibility: hidden } .smallcaps { font-variant: small-caps } .boldf { font-weight: bold } .sans { font-family: sans-serif } .extended { letter-spacing: 0.2em } ins.correction { text-decoration: none; border-bottom: 1px dotted red } ins.variation { text-decoration: none; border-bottom: 1px dotted blue } .pagenum { font-size: 95%; font-weight: normal; font-style: normal; text-align: right; text-indent: 0; color: #666; background-color: inherit } .mynote { background-color: #DDE; color: #000; padding: 0.5em; margin: 1em 5%; font-family: sans-serif; font-size: 95% } /**/