@font-face { font-family: "Courier New"; src: url(fonts/cour.ttf); } @font-face { font-family: "Courier New Bold"; src: url(fonts/courbd.ttf); } @font-face { font-family: "Courier New Italic"; src: url(fonts/couri.ttf); } @font-face { font-family: "Courier New Bold Italic"; src: url(fonts/courbi.ttf); } body { margin-top: 4pt; margin-bottom: 4pt; margin-right: 15pt; } .cover { margin-top: 2pt; margin-bottom: 2pt; text-align: center; } h1 { margin-top: 5pt; text-align: center; margin-bottom: 12pt; font-weight: bold; } h2 { margin-top: 7pt; margin-bottom: 25pt; font-weight: bold; } h3 { margin-top: 9pt; margin-bottom: 8pt; font-weight: bold; } h4 { margin-top: 9pt; margin-bottom: 6pt; font-weight: bold; } h5 { margin-top: 9pt; margin-bottom: 6pt; font-weight: bold; } h6 { margin-top: 9pt; margin-bottom: 6pt; font-weight: bold; } .author { text-align: center; font-weight: bold; margin-top: 30pt; margin-bottom: 12pt; } .publisher { text-align: center; margin-top: 150pt; margin-bottom: 6pt; } .publishertext { text-align: center; margin-top: 6pt; margin-bottom: 6pt; } .copy { margin-top: 10pt; margin-bottom: 7pt; text-indent: 0.024pt; } .copy1 { margin-top: 10pt; margin-bottom: 7pt; margin-left: 36pt; text-indent: 0.024pt; } p { margin-top: 5pt; margin-bottom: 4pt; text-indent: 0.024pt; } .toc-preface { margin-top: 10pt; margin-bottom: 5pt; text-indent: 0.024pt; } .toc-part { margin-top: 12pt; margin-bottom: 6pt; text-indent: 0.024pt; } .toc-chapter { margin-top: 12pt; margin-bottom: 6pt; text-indent: 0.024pt; } .toc-section { margin-top: 5pt; margin-bottom: 5pt; text-indent: 0.024pt; } .toc-section1 { margin-top: 5pt; margin-bottom: 5pt; margin-left: 12pt; text-indent: 0.024pt; } .toc-section2 { margin-top: 5pt; margin-bottom: 5pt; margin-left: 23pt; text-indent: 0.024pt; } strong { font-weight: bold; } em { font-style: italic; } .toc-glossary { margin-top: 12pt; margin-bottom: 6pt; text-indent: 0.024pt; } .toc-index { margin-top: 12pt; margin-bottom: 6pt; text-indent: 0.024pt; } .edition { text-align: center; font-weight: bold; margin-top: 3pt; margin-bottom: 3pt; } .indenthangingB { margin-top: 4pt; margin-bottom: 4pt; margin-left: 7pt; text-indent: -6pt; } .indenthangingB1 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 13pt; text-indent: -6pt; } .indenthangingB2 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 19pt; text-indent: -6pt; } .indenthangingB3 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 25pt; text-indent: -6pt; } .indenthangingB4 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 46pt; text-indent: -6pt; } .indenthangingN { margin-top: 4pt; margin-bottom: 4pt; margin-left: 9pt; text-indent: -10pt; } .indenthangingN1 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 15pt; text-indent: -10pt; } .indenthangingN2 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 22pt; text-indent: -10pt; } .indenthangingN3 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 50pt; text-indent: -10pt; } .indent { margin-top: 4pt; margin-bottom: 4pt; margin-left: 12pt; text-indent: -12pt; } .indentpara { margin-top: 4pt; margin-bottom: 4pt; margin-left: 7pt; } .indentpara1 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 13pt; } .indentpara2 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 20pt; } .indentparab { margin-top: 4pt; margin-bottom: 4pt; margin-left: 13pt; } .indentparab1 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 19pt; } .programlisting { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 0.024pt; } .programlisting1 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 6pt; } .programlisting1a { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 19pt; } .programlisting2 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 11pt; } .programlisting2a { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 25pt; } .programlisting3 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 32pt; } .caption { font-size: small; margin-top: 4pt; margin-bottom: 8pt; text-align: center; } .caption1 { font-size: small; margin-top: 4pt; margin-bottom: 8pt; text-align: left; } .image { margin-top: 5pt; margin-bottom: 5pt; text-align: center; } .em { font-family: "Courier New Italic"; } code { font-size: x-small; } .glossary { margin-top: 6pt; margin-bottom: 4pt; margin-left: 39pt; text-indent: -39pt; } .glossary1 { margin-top: 3pt; margin-bottom: 3pt; margin-left: 39pt; } .programlisting4 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 38pt; } .programlisting5 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 47pt; } .indexmain { margin-top: 2pt; margin-bottom: 2pt; text-indent: .024pt; } .indexsub { margin-top: 2pt; margin-bottom: 2pt; margin-left: 11pt; text-indent: .024pt; } .indexsubsub { margin-top: 2pt; margin-bottom: 2pt; margin-left: 21pt; text-indent: .024pt; }