BODY { font-family: serif; font-size: 12pt; line-height: 1.5 }

PRE { font-size: 10pt; border: 1px dashed #777; background-color: #E8F0FF; max-width: 800px; padding: 1ex }

H1 { font-size: 18pt }
H2 { font-size: 16pt }
H3 { font-size: 14pt }

P, UL { margin-left: .5em; text-indent: 1em; margin-bottom: 1.5em; max-width: 800px }

BLOCKQUOTE { margin-left: 2em; text-indent: 1em; margin-bottom: 1.5em; max-width: 700px; background: #FFE; border: 1px dashed gray; padding: 1ex }

.eq { font-family: monospace; color: #000055 }


.navlinks { text-indent: 0; margin-left: 0 }
.copyright { margin-top: 5em; margin-left: 0; text-indent: 0 }