body { font-family: "Times New Roman",serif; } .publisher { text-align: center; margin-top: 3em; margin-bottom: 1em; } .edition { font-size: 110%; margin-top: .6em; margin-bottom: 1em; text-align: center; } .dedication { margin-top: .6em; margin-bottom: .5em; text-indent: -1.5em; text-align: center; } .copyright { margin-top: 1em; margin-bottom: 1em; text-indent: .001em; } .toc-front { margin-top: .2em; margin-bottom: .2em; margin-left: 2em; } .toc-chaptera { margin-top: .5em; margin-bottom: .5em; margin-left: 5em; text-indent: -4.4em; } .toc-chaptera1 { margin-top: .5em; margin-bottom: .5em; margin-left: 4.5em; text-indent: -4.4em; } .toc-chapter { margin-top: 1.2em; margin-bottom: .3em; margin-left: 4.5em; text-indent: -4.4em; } .toc-chapter1 { margin-top: 1.2em; margin-bottom: .3em; margin-left: 4em; text-indent: -4.4em; } .toc-subchapter { margin-top: .3em; margin-bottom: .3em; margin-left: 3.5em; text-indent: -1.5em; } .toc-sub-subchapter { margin-top: .3em; margin-bottom: .3em; margin-left: 6em; text-indent: -1.5em; } .toc-back { margin-top: 1em; margin-bottom: .4em; margin-left: .001em; } .toc-backa { margin-top: .5em; margin-bottom: .4em; margin-left: .3em; } .author { font-size: 100%; text-align: center; margin-top: 4em; margin-bottom: 4em; } .author1 { font-size: 100%; margin-top: 1em; margin-bottom: 1em; } .h1 { font-size: xx-large; margin-top: 1.4em; margin-bottom: .6em; text-align: center; } .h2 { font-size: x-large; margin-top: 1em; margin-bottom: 1em; text-align: center; } .h3 { font-size: large; margin-top: 1em; margin-bottom: 0.2em; } .h4 { font-size: 120%; margin-top: 1em; margin-bottom: 0.2em; } .h4b { font-size: 120%; margin-top: 1em; margin-bottom: 0.2em; } .h5 { font-size: 110%; margin-top: 1em; margin-bottom: 0.2em; } .h6 { font-size: 100%; margin-top: 1em; margin-bottom: 0.2em; } .notetitle { font-size: 110%; margin-top: 0.3em; margin-bottom: 0.3em; margin-left: 1.5em; } .note { margin-top: .3em; margin-bottom: .3em; margin-left: 1.6em; } .indent { margin-top: .3em; margin-bottom: .3em; text-indent: 1.1em; } .noindent { margin-top: .4em; margin-bottom: .4em; text-indent: .001em; } .indent1 { margin-top: .4em; margin-bottom: .4em; text-indent: .001em; margin-left: 1.3em; } .noindent1 { margin-top: 1em; margin-bottom: 1em; text-indent: .001em; } .blockquote { margin-top: .81em; margin-bottom: .8em; margin-left: 1.5em; margin-right: 2em; } .image { text-align: center; margin-top: .3em; margin-bottom: .3em; } .image2 { margin-top: .3em; margin-bottom: .3em; } .image1 { margin-top: .3em; margin-bottom: .3em; } .image2b { margin-top: .3em; margin-bottom: .3em; margin-left: .5em; } .image2a { margin-top: .3em; margin-bottom: .3em; margin-left: 1.5em; } .center { text-align: center; margin-top: .3em; margin-bottom: .3em; } .center1 { text-align: center; margin-top: .5em; margin-bottom: .5em; } .bgh { text-align: center; } .nounder { text-decoration: none; } svg { height: 98%; width: 100%; } .attribute { text-align: right; margin-right: .5em; margin-top: .3em; margin-bottom: .8em; } .indenthanging { margin-top: .3em; margin-bottom: .3em; margin-left: 2em; text-indent: -1em; } .indenthanging1 { margin-top: .3em; margin-bottom: .3em; margin-left: 2.5em; text-indent: -1em; } .indenthangingpi { margin-top: .3em; margin-bottom: .3em; margin-left: 3em; } .indenthanginga { margin-top: .3em; margin-bottom: .3em; margin-left: 2em; text-indent: -1.5em; } .indentbullet { margin-top: .3em; margin-bottom: .3em; margin-left: 2em; text-indent: -0.6em; } .indentbullet2 { margin-top: .3em; margin-bottom: .3em; margin-left: 2.6em; text-indent: -0.6em; } .indentbulletp { margin-top: .3em; margin-bottom: .3em; margin-left: 2em; } .indentbulletp1 { margin-top: .3em; margin-bottom: .3em; margin-left: 2.2em; } .indentcode { font-family: "courier new",monospace; margin-top: .5em; margin-bottom: .5em; margin-left: 2em; } span.underline { text-decoration: underline; } .caption { margin-top: .6em; margin-bottom: .3em; margin-left: 2em; text-indent: .001em; } .indexmain { margin-top: .1em; margin-bottom: .1em; } .indexsub { margin-top: .1em; margin-bottom: .1em; margin-left: 1.2em; } .pagenum { margin-top: .1em; margin-bottom: .1em; } .titleid { margin-top: .1em; margin-bottom: .1em; } span.codesample { font-family: "courier new",monospace; font-size: 80%; } .code { font-family: "courier new",monospace; }