/**/ body { margin-left: 10%; margin-right: 15%; color: inherit; background-color: #FFE } pre { color: inherit; background-color: #FFF; padding: 1em; border: 1px solid #963 } /* for PG boilerplate */ div.maintext { padding-top: 2em; padding-bottom: 2em; font-size: 112% } div.page { padding-top: 2em; padding-bottom: 2em } hr { width: 80%; margin-top: 1em; margin-bottom: 1em; text-align: center } hr.mid { width: 40% } hr.micro { width: 10% } a.tag { text-decoration: none; padding-left: 0.25em } a:link, a:visited { color: #630; background-color: inherit } div.mynote a { text-decoration: none } h1, h2, h3, h4, h5, h6 { text-align: center; font-style: normal; font-weight: normal; line-height: 1.5; margin-top: 0.5em; margin-bottom: 0.5em } h1 { font-size: 200% } h2 { font-size: 175% } h3 { font-size: 150% } h4 { font-size: 120% } div.maintext h4 { margin-top: 1em } h5 { font-size: 100% } h6 { font-size: 80% } p { margin-top: 0.5em; margin-bottom: 0; line-height: 1.2 } p.illustration { text-align: center; margin-top: 2em; margin-bottom: 2em } p.center { text-align: center } p.footnote { margin: 2em; font-size: 92% } /* text formatting */ span.firstword { font-variant: small-caps; font-weight: bold } .smallcaps { font-variant: small-caps } .smaller { font-size: 88% } .larger { font-size: 112% } /* correction popup */ ins.correction { text-decoration: none; border-bottom: thin dotted red } span.pagenum { font-size: 88%; font-weight: normal; font-style: normal; text-align: right; text-indent: 0 } div.mynote { background-color: #EED; color: #000; border: 3px ridge #963; font-family: sans-serif; font-size: 90%; margin: 1em 5%; padding: 0.5em 1em 1em } /**/