2 /* following font face declarations need to be removed for DBCS */
4 body, h1, h2, h3, h4, h5, h6, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, Helvetica, sans-serif; color: #000000}
5 pre, code, tt { font-family: "Courier New", Courier, monospace;}
7 /* end font face declarations */
10 html { font-size: 12pt }
13 body { font-size: 83%; background: #FFFFFF; margin-bottom: 1em }
14 h1 { font-size: 180%; margin-top: 5px; margin-bottom: 1px }
15 h2 { font-size: 140%; margin-top: 25px; margin-bottom: 3px }
16 h3 { font-size: 110%; margin-top: 20px; margin-bottom: 3px }
17 h4 { font-size: 100%; margin-top: 20px; margin-bottom: 3px; font-style: italic }
18 p { margin-top: 10px; margin-bottom: 10px }
19 pre { font-size: 93%; margin-left: 6; color: #4444CC }
20 pre.code { background-color:#fffff7; border: 1px dashed #cccccc; padding: 2ex; margin-left:2em; margin-right:2em; margin-top: 1em; margin-bottom:1em; color: #000000 }
21 code, tt { font-size: 93%; }
22 table { font-size: 100% } /* needed for quirks mode */
23 a:link { color: #0000FF }
24 a:hover { color: #000080 }
25 a:visited { text-decoration: underline }
26 ul { margin-top: 10px; margin-bottom: 10px; }
27 li { margin-top: 5px; margin-bottom: 5px; }
28 li p { margin-top: 5px; margin-bottom: 5px; }
29 ol { margin-top: 10px; margin-bottom: 10px; }
30 dl { margin-top: 10px; margin-bottom: 10px; }
31 dt { margin-top: 5px; margin-bottom: 5px; font-weight: bold; }
32 dd { margin-top: 5px; margin-bottom: 5px; }
33 strong { font-weight: bold}
34 em { font-style: italic}
35 var { font-style: italic}
36 div.revision { border-left-style: solid; border-left-width: thin;
37 border-left-color: #7B68EE; padding-left:5 }
38 th { font-weight: bold }