@page { margin-top: 1.5em; margin-bottom: 1.5em; margin-left: 1.5em; margin-right: 1.5em; } body { margin-right: 1.5em; } svg { height: 98%; width: 100%; } a { text-decoration: none; } .box { margin-top: 0.1em; margin-bottom: 0.1em; border: #000000 solid 0.1em; padding: 0.5em; } .bqb { font-size: 0.9em; margin-top: 0.1em; margin-bottom: 1em; margin-left: 1.4em; margin-right: 2em; text-indent: 0.01em; } .bqib { font-size: 0.9em; margin-top: 0.1em; margin-bottom: 1em; margin-left: 1.4em; margin-right: 2em; text-indent: 1.2em; } .bull { margin-top: 0.1em; margin-bottom: 0.1em; padding-left: 2em; text-indent: -1em; } .bulln { margin-top: 0.1em; margin-bottom: 0.1em; padding-left: 2em; text-indent: -1em; } .center { margin-top: 1em; margin-bottom: 1em; text-align: center; } .chapbq { font-size: 0.9em; margin-top: 0.1em; margin-bottom: 1em; margin-left: 1.4em; margin-right: 2em; text-indent: 0.01em; } .copy1 { margin-top: 2em; margin-bottom: 0.1em; text-align: center; } .copy { margin-top: 1em; margin-bottom: 0.1em; text-align: center; } .copyi { margin-top: 0.1em; margin-bottom: 0.1em; text-indent: 1.2em; } .h2 { font-size: x-large; margin-top: 1.5em; margin-bottom: 1.5em; text-indent: 0.01em; } .h2a { font-size: x-large; margin-top: 1.5em; margin-bottom: 0.1em; text-indent: 0.01em; } .h2b { font-size: large; margin-top: 0.1em; margin-bottom: 1.5em; text-indent: 0.01em; } .h3 { font-size: large; margin-top: 1em; margin-bottom: 0.3em; text-indent: 0.01em; } .h3c { font-size: large; margin-top: 1em; margin-bottom: 0.3em; text-align: center; } .h4 { font-size: medium; margin-top: 1em; margin-bottom: 0.3em; text-indent: 0.01em; } .h4a { font-size: medium; margin-top: 1em; margin-bottom: 0.3em; text-indent: 0.01em; } .image { margin-top: 1em; margin-bottom: 1em; text-align: center; } .indent { margin-top: 0.1em; margin-bottom: 0.1em; text-indent: 1.2em; } .indentb { margin-top: 0.1em; margin-bottom: 1em; text-indent: 1.2em; } .indexmain1 { margin-top: 1em; margin-bottom: 0.1em; padding-left: 1.5em; text-indent: -1.5em; } .indexmain { margin-top: 0.1em; margin-bottom: 0.1em; padding-left: 1.5em; text-indent: -1.5em; } .indexsub { margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 2em; text-indent: -1em; } .noindent { margin-top: 0.1em; margin-bottom: 0.1em; text-indent: 0.01em; } .noindentb { margin-top: 0.1em; margin-bottom: 1em; text-indent: 0.01em; } .notes { margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 1em; text-indent: -1em; } .number { margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 1em; text-indent: -1em; } .numberb { margin-top: 0.1em; margin-bottom: 1em; margin-left: 1em; text-indent: -1em; } .numberh { margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 1.2em; text-indent: 1.2em; } .numberhb { margin-top: 0.1em; margin-bottom: 1em; margin-left: 2em; text-indent: 1.2em; } .numberhg { margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 3em; text-indent: -1em; } .numbq { margin-top: 0.1em; margin-bottom: 0.1em; margin-left: 2em; text-indent: 0.1em; } .numbqb { margin-top: 0.1em; margin-bottom: 1em; margin-left: 2em; text-indent: 0.1em; } .pub { margin-top: 1em; margin-bottom: 0.1em; text-align: center; } .right { margin-top: 0.1em; margin-bottom: 1em; text-align: right; } .table { margin-top: 1em; margin-bottom: 1em; text-align: center; } .toc { margin-top: 0.1em; margin-bottom: 1em; text-indent: 0.01em; } sup { vertical-align: super; line-height: 0.8em; font-size: 0.9em; }