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