1
/* following font face declarations need to be removed for DBCS */
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}
7
/* end font face declarations */
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: 12pt; }
11
pre { font-size: 12pt}
13
/* end font size declarations */
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
h5 { font size: 13.5pt; }
21
p { font-size: 12pt; }
22
pre { margin-left: 6; font-size: 9pt }
24
a:link { color: #006699 }
25
a:visited { color: #996699 }
26
a:hover { color: #006699 }
28
ul { margin-top: 0; margin-bottom: 10 }
29
li { margin-top: 0; margin-bottom: 0 }
30
li p { margin-top: 0; margin-bottom: 0 }
31
ol { margin-top: 0; margin-bottom: 10 }
32
dl { margin-top: 0; margin-bottom: 10 }
33
dt { margin-top: 0; margin-bottom: 0; font-weight: bold }
34
dd { margin-top: 0; margin-bottom: 0 }
35
strong { font-weight: bold}
36
em { font-style: italic}
37
var { font-style: italic}
38
div.revision { border-left-style: solid; border-left-width: thin;
39
border-left-color: #7B68EE; padding-left:5 }
40
th { font-weight: bold }
45
/* Mike Behm's addition to the style sheet */
46
.userinput { font-family: monospace; }
47
.guitab, .important, .guibutton, .selectblue, .guimenu, .guilabel,
50
font-family: helvetica, arial, sans-serif;
53
div.linux {display:none;}
54
.firsterm {font-style:italic;}
56
.typewriter {font-family:monospace;}
57
.bold {font-weight:600;}
58
.linethrough {text-decoration: line-through;}
59
.underline {text-decoration: underline;}