@page { margin: 1.5em; } body { margin-right: 2em; text-align: justify; } svg { height: 98%; width: 100%; } a { text-decoration: none; } .underline { text-decoration: underline; } .half { font-size: 2em; margin-top: 5em; margin-bottom: 1.5em; text-align: center; } .h1 { font-size: 2.5em; margin-top: 1em; margin-bottom: 0.5em; text-align: center; } .title { font-size: 2.5em; margin-top: 2em; margin-bottom: 0.1em; text-align: center; line-height: 0.8em; } .pub { margin-top: 2em; margin-bottom: 0.1em; text-align: center; } .sub { font-size: 1.2em; margin-top: 0.1em; margin-bottom: 5em; text-align: center; } .h2 { font-size: 1.5em; margin-top: 2.5em; margin-bottom: 4em; text-align: center; } .h2b { font-size: 2.4em; margin-top: 0.3em; margin-bottom: 1em; text-align: center; } .h2a { font-size: 3em; margin-top: 0.5em; margin-bottom: 0.3em; text-align: center; } .h3 { font-size: 1.4em; margin-top: 1.5em; margin-bottom: 0.5em; text-align: center; text-indent: 0.1em; } .ded { font-size: 1.5em; margin-top: 2em; margin-bottom: 2em; text-align: center; } .ded1 { margin-top: 0.1em; margin-bottom: 5em; text-align: left; } .author { font-size: 2em; margin-top: 0.1em; margin-bottom: 4em; text-align: center; } .author1 { font-size: 1.5em; margin-top: 2em; margin-bottom: 0.1em; text-align: center; } .copy { margin-top: 4em; margin-bottom: 0.1em; text-align: left; } .copyt { margin-top: 2em; margin-bottom: 0.1em; text-align: left; text-indent: 0.01em; line-height:1.4em; } .indent { margin-top: 0.2em; margin-bottom: 0.1em; text-indent: 1.2em; } .indentt { margin-top: 1.5em; margin-bottom: 0.1em; text-indent: 1.2em; } .indentb { margin-top: 0.1em; margin-bottom: 1.5em; text-indent: 1.2em; } .noindent { margin-top: 0.2em; margin-bottom: 0.1em; text-indent: 0.01em; } .noindentt { margin-top: 1.5em; margin-bottom: 0.1em; text-indent: 0.1em; } .noindentb { margin-top: 0.2em; margin-bottom: 1.5em; text-indent: 0.1em; } .bq { margin-top: 1.2em; margin-bottom: 1.2em; margin-left: 1.2em; margin-right: 2.5em; text-indent: 0.1em; } .bqbot { margin-top: 0.2em; margin-bottom: 1em; margin-left: 1.5em; margin-right: 2.5em; text-indent: 0.1em; } .bqind { margin-top: -0.2em; margin-bottom: 0.2em; margin-left: 1.5em; margin-right: 2.5em; text-indent: 1.8em; } .center { margin-top: 1.2em; margin-bottom: 1.2em; text-align: center; } .image { margin-top: 1em; margin-bottom: 1em; text-align: center; } .image1 { margin-top: 2em; margin-bottom: 0.5em; text-align: center; } .subtitle { font-size: 1.4em; margin-top: 1em; margin-bottom: 0.5em; text-align: center; } .pub { margin-top: 1em; margin-bottom: 1em; text-align: center; } .toc { margin-top: 0.3em; margin-bottom: 0.3em; text-align: left; } .hang { margin-top: 0.2em; margin-bottom: 0.2em; padding-left: 1.1em; text-indent: -1.3em; } .halftitle { font-size: 2em; margin-top: 0.1em; margin-bottom: 1em; text-align: center; } .bull { margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 0.6em; text-align: left; text-indent: -0.6em; } .img1 { margin-top: 5em; margin-bottom: 0.2em; text-align: center; text-indent: -0.6em; } .center1 { margin-top: 0.1em; margin-bottom: 2em; text-align: center; line-height: 0.8em; } .center2 { font-size:1.5em; margin-top: 0.1em; margin-bottom: 3em; text-align: center; line-height: 0.8em; } .numlist { margin-top: 0.2em; margin-bottom: 0.2em; margin-left: 2.8em; text-indent: -1.6em; text-align: left; } .right { margin-top: 1em; margin-bottom: 1em; margin-left: 0.1em; text-indent: 0.01em; text-align: right; } .noindent1 { margin-top: 4em; margin-bottom: 0.1em; text-indent: 0.01em; } .h3a { font-size: 1.4em; margin-top: 3em; margin-bottom: 0.5em; line-height: 1.3em; text-align: center; text-indent: 0.1em; } .h3b { font-size: 1.4em; margin-top: 1em; margin-bottom: 0.5em; line-height: 1.3em; text-align: center; text-indent: 0.1em; }