body { font-family: "Droid Serif", "DroidSerif", serif; padding: 0.25em 0.5em; font-size: medium; } #maintitle { margin-top: 2em; text-transform: uppercase; letter-spacing: 133%; font-size: 3em; } #subtitle { margin-top: 2em; text-transform: uppercase; letter-spacing: 115%; font-size: 1.5em; } #author { margin-top: 8em; font-weight: bold; } h1, h2, h3, h4 { font-family: "Droid Sans", "DroidSans", sans-serif; margin-top: 2em; margin-bottom: 0.5em; text-align: left; } h1 span.count, h2 span.count, h3 span.count { padding-right: 0.75em; } h1, h2, h4 { font-variant: small-caps; } h1 code, h2 code, h3 code, h4 code { font-variant: normal; font-family: "Droid Sans Mono", "DroidSansMono", "DroidSans Mono", monospace; text-transform: none; } p { margin-bottom: 0; margin-top: 0; font-size: medium; line-height: 150%; } p + p { text-indent: 1.125em; } li { line-height: 150%; } ul.tdisc, li.tdisc { list-style-type: disc; } ol.tlowal, li.tlowal { list-style-type: lower-alpha; } div.clfigure { page-break-inside: avoid; width: 100%; margin: 1em 0 0 0; text-align: left; } div.figure { page-break-inside: avoid; width: 100%; margin: 1em; } div.figure img { display: block; } div.figure span.count { font-weight: bold; padding-right: 1.5em; } sup.fn { font-family: "Droid Sans", "DroidSans", sans-serif; font-weight: bold; } pre, code { font-family: "Droid Sans Mono", "DroidSansMono", "DroidSans Mono", monospace; font-size: 90%; } pre code { font-size: 100%; } p code { padding-left: 0.33em; padding-right: 0.33em; display: inline !important; } table { margin: 1em auto; border: none; } td, th { font-size: medium; padding: 0.25em; border: none; } td { vertical-align: top; } table.centered td { text-align: center; } table.right td { text-align: right; } pre { line-height: 150%; padding: 0.25em 0.5em; margin: 1em 0 1em 1em; } div.figure { margin-top: 2em; margin-bottom: 2em; max-width: 100%; } dl.footnotes dt { float: left; clear: left; width: 2em; text-align: right; font-weight: bold; } dl.footnotes dd { margin: 0 0 0 3em; padding: 0 0 0.5em 0; } strong { font-weight: bold; }