3 font-family: Arial, Helvetica, sans-serif;
7 h2.title { margin-left: -1em;
8 font-family: Verdana, serif;
12 h3.title { font-family: Verdana, serif;
17 font-family: monospace;
18 background-color: #eae8e9;
21 div.navheader { font-size: 10pt;
26 div.navheader table tr td { font-size: 10pt; }
28 div.navfooter { font-size: 10pt;
32 div.navfooter table tr td { font-size: 10pt; }
34 span.emphasis { font-style: italic;}
36 div.appendix div.informaltable { font-size: 9pt; }
37 div.appendix div.informaltable td { vertical-align: top; }
38 div.appendix div.informaltable p { margin-top: .25em; }
39 div.appendix div.informaltable p { margin-bottom: .25em; }
41 div.variablelist dl dt {margin-top: 1em; }