|
5
|
1 |
/* following font face declarations need to be removed for DBCS */
|
|
|
2 |
|
|
|
3 |
|
|
|
4 |
body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-family: Arial, sans-serif; color: #000000}
|
|
|
5 |
pre { font-family: Courier, monospace}
|
|
|
6 |
|
|
|
7 |
/* end font face declarations */
|
|
|
8 |
|
|
|
9 |
/* following font size declarations should be OK for DBCS */
|
|
|
10 |
body, h1, h2, h3, h4, p, table, td, caption, th, ul, ol, dl, li, dd, dt {font-size: 10pt; }
|
|
|
11 |
pre { font-size: 10pt}
|
|
|
12 |
|
|
|
13 |
/* end font size declarations */
|
|
|
14 |
|
|
|
15 |
body { background: #FFFFFF}
|
|
|
16 |
h1 { font-size: 18pt; margin-top: 5; margin-bottom: 1 }
|
|
|
17 |
h2 { font-size: 14pt; margin-top: 25; margin-bottom: 3 }
|
|
|
18 |
h3 { font-size: 11pt; margin-top: 20; margin-bottom: 3 }
|
|
|
19 |
h4 { font-size: 10pt; margin-top: 20; margin-bottom: 3; font-style: italic }
|
|
|
20 |
p { font-size: 10pt; }
|
|
|
21 |
pre { margin-left: 6; font-size: 9pt }
|
|
|
22 |
|
|
|
23 |
a:link { color: #006699 }
|
|
|
24 |
a:visited { color: #996699 }
|
|
|
25 |
a:hover { color: #006699 }
|
|
|
26 |
|
|
|
27 |
ul { margin-top: 0; margin-bottom: 10 }
|
|
|
28 |
li { margin-top: 0; margin-bottom: 0 }
|
|
|
29 |
li p { margin-top: 0; margin-bottom: 0 }
|
|
|
30 |
ol { margin-top: 0; margin-bottom: 10 }
|
|
|
31 |
dl { margin-top: 0; margin-bottom: 10 }
|
|
|
32 |
dt { margin-top: 0; margin-bottom: 0; font-weight: bold }
|
|
|
33 |
dd { margin-top: 0; margin-bottom: 0 }
|
|
|
34 |
strong { font-weight: bold}
|
|
|
35 |
em { font-style: italic}
|
|
|
36 |
var { font-style: italic}
|
|
|
37 |
div.revision { border-left-style: solid; border-left-width: thin;
|
|
|
38 |
border-left-color: #7B68EE; padding-left:5 }
|
|
|
39 |
th { font-weight: bold }
|
|
|
40 |
|
|
|
41 |
/* Mike Behm's addition to the style sheet */
|
|
|
42 |
.userinput { font-family: monospace; }
|
|
|
43 |
.guitab, .important, .guibutton, .selectblue, .guimenu, .guilabel,
|
|
|
44 |
.notetitle {
|
|
|
45 |
color: #000000;
|
|
|
46 |
font-family: helvetica, arial, sans-serif;
|
|
|
47 |
font-weight: bold;
|
|
|
48 |
}
|
|
|
49 |
div.linux {display:none;}
|
|
|
50 |
.firsterm {font-style:italic;}
|
|
|
51 |
|