1body { margin-left: 3em; } 2 3h2.title { margin-left: -1em; 4 font-family: serif; 5 font-size: 16pt; 6 } 7 8h3.title { font-family: serif; 9 font-size: 14pt; 10 } 11 12h4.title { font-family: serif; 13 font-size: 12pt; 14 } 15 16pre.programlisting { 17 font-family: monospace; 18 width: 45em; 19 padding-left: 1em; 20 padding-top: 0.5em; 21 padding-bottom: 0.5em; 22 background-color: #eae8e9; 23} 24 25div.navheader { font-size: 10pt; 26 margin-left: -2em; 27 } 28 29div.navheader table tr td { font-size: 10pt; } 30 31div.navfooter { font-size: 10pt; 32 margin-left: -2em; 33 } 34div.navfooter table tr td { font-size: 10pt; } 35 36span.emphasis { font-style: italic;} 37 38div.appendix div.informaltable { font-size: 9pt; } 39div.appendix div.informaltable td { vertical-align: top; } 40div.appendix div.informaltable p { margin-top: .25em; } 41div.appendix div.informaltable p { margin-bottom: .25em; } 42 43 44