@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; } .publisher { text-align: center; margin-top: 90pt; margin-bottom: 6pt; } .publishertext { text-align: center; margin-top: 12pt; margin-bottom: 12pt; } .copy { margin-top: 6pt; margin-bottom: 6pt; text-indent: 0.024pt; } .copy1 { margin-top: 6pt; margin-bottom: 6pt; margin-left: 14pt; text-indent: 0.024pt; } .dedication { margin-top: 46pt; margin-bottom: 6pt; text-align: center; } .author { text-align: center; font-weight: bold; margin-top: 40pt; margin-bottom: 36pt; font-size: medium; } p { margin-top: 5pt; margin-bottom: 4pt; text-indent: 0.024pt; } .toc-preface { margin-top: 6pt; margin-bottom: 6pt; margin-left: 12pt; text-indent: 12pt; } .toc-part { margin-top: 12pt; margin-bottom: 8pt; text-indent: 0.024pt; } .toc-chapter { margin-top: 8pt; margin-bottom: 8pt; margin-left: 12pt; text-indent: 12pt; } .toc-section { margin-top: 6pt; margin-bottom: 6pt; margin-left: 33pt; text-indent: 33pt; } .toc-appendix { margin-top: 12pt; margin-bottom: 12pt; margin-left: 12pt; text-indent: 12pt; } .toc-index { margin-top: 12pt; margin-bottom: 12pt; margin-left: 12pt; text-indent: 12pt; } strong { font-weight: bold; } em { font-style: italic; } .attribution { font-size: small; margin-top: 6pt; margin-bottom: 14pt; text-align: center; } .blockquote { font-size: small; margin-top: 6pt; margin-bottom: 6pt; margin-left: 20pt; } .blockquote1 { font-size: small; margin-top: 6pt; margin-bottom: 6pt; text-align: center; } .indent { margin-top: 5pt; margin-bottom: 5pt; margin-left: 18pt; } .indent1 { margin-top: 12pt; margin-bottom: 4pt; text-indent: 0.024pt; } .programlisting { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; } .programlisting1 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 25pt; } .programlisting2 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 32pt; } .programlisting3 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; margin-left: 12pt; } .programlisting4 { font-family: "Courier New"; font-size: small; margin-top: 5pt; margin-bottom: 4pt; background-color: #E6E6E6; } .sidebar { font-size: small; margin-top: 5pt; margin-bottom: 12pt; margin-left: 15pt; background-color: #E6E6E6; } .sidebarpara { margin-top: 5pt; margin-bottom: 4pt; margin-left: 15pt; } .caption { font-size: medium; margin-top: 8pt; margin-bottom: 8pt; text-align: center; } .image { margin-top: 5pt; margin-bottom: 5pt; text-align: center; } .indenthangingB { margin-top: 4pt; margin-bottom: 4pt; margin-left: 16pt; text-indent: -6pt; } .indenthangingN { margin-top: 4pt; margin-bottom: 4pt; margin-left: 37pt; text-indent: -12pt; } .indenthangingN1 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 8pt; text-indent: -8pt; } .indenthangingN2 { margin-top: 4pt; margin-bottom: 4pt; margin-left: 35pt; text-indent: -10pt; } .strong { font-family: "Courier New Bold"; } code { font-size: x-small; } .glossary { margin-top: 8pt; margin-bottom: 8pt; margin-left: 12pt; text-indent: 0.024pt; } .indexmain { margin-top: 2pt; margin-bottom: 2pt; } .indexsub { margin-top: 2pt; margin-bottom: 2pt; margin-left: 12pt; text-indent: 12pt; } .indexsubsub { margin-top: 2pt; margin-bottom: 2pt; margin-left: 24pt; text-indent: 24pt; } .h3 { margin-top: 9pt; margin-bottom: 8pt; font-weight: bold; margin-left: 14pt; font-size: medium; }