blob: c355fbecac74d6fb4ee8d915e0778e07d18c109d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/* doc/src/sgml/stylesheet.css */
/* color scheme similar to www.postgresql.org */
body {
color: #000000;
background: #FFFFFF;
font-family: verdana, sans-serif;
}
a:link { color:#0066A2; }
a:visited { color:#004E66; }
a:active { color:#0066A2; }
a:hover { color:#000000; }
h1 {
font-size: 1.4em;
font-weight: bold;
margin-top: 0em;
margin-bottom: 0em;
color: #EC5800;
}
h2 {
font-size: 1.2em;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
color: #666;
}
.titlepage h2.title,
.refnamediv h2 {
color: #EC5800;
}
h3 {
font-size: 1.1em;
margin: 1.2em 0em 1.2em 0em;
font-weight: bold;
color: #666;
}
h4 {
font-size: 0.95em;
margin: 1.2em 0em 1.2em 0em;
font-weight: normal;
color: #666;
}
h5 {
font-size: 0.9em;
margin: 1.2em 0em 1.2em 0em;
font-weight: normal;
}
h6 {
font-size: 0.85em;
margin: 1.2em 0em 1.2em 0em;
font-weight: normal;
}
/* center some titles */
.book .title, .book .corpauthor, .book .copyright {
text-align: center;
}
/* decoration for formal examples */
div.example {
padding-left: 15px;
border-style: solid;
border-width: 0px;
border-left-width: 2px;
border-color: black;
margin: 0.5ex;
}
/* Put these here instead of inside the HTML (see unsetting of
admon.style in XSL) so that the web site stylesheet can set its own
style. */
.tip,
.note,
.important,
.caution,
.warning {
margin-left: 0.5in;
margin-right: 0.5in;
}
/* miscellaneous */
pre.literallayout, .screen, .synopsis, .programlisting {
margin-left: 4ex;
}
.comment { color: red; }
var { font-family: monospace; font-style: italic; }
/* Konqueror's standard style for ACRONYM is italic. */
acronym { font-style: inherit; }
.option { white-space: nowrap; }
|
