38
38
body { color: #000000;
39
39
background-color: #ffffff; }
41
a:active { color: #ff0000; }
41
a:link:active { color: #ff0000; }
42
42
a:link:hover { background-color: #bbeeff; }
43
43
a:visited:hover { background-color: #bbeeff; }
44
44
a:visited { color: #551a8b; }
50
50
h2 { font-size: 150%; }
51
51
h3, h4 { font-size: 120%; }
53
/* These are section titles used in navigation links, so make sure we
54
* match the section header font here, even it not the weight.
56
.sectref { font-family: avantgarde, sans-serif; }
57
/* And the label before the titles in navigation: */
58
.navlabel { font-size: 85%; }
53
61
/* LaTeX2HTML insists on inserting <br> elements into headers which
54
62
* are marked with \label. This little bit of CSS magic ensures that
55
63
* these elements don't cause spurious whitespace to be added.
89
99
div.note .label { margin-right: 0.5em;
90
100
font-family: sans-serif; }
92
.release-info { font-style: italic; }
102
address { font-size: 80%; }
103
.release-info { font-style: italic;
94
106
.titlegraphic { vertical-align: top; }
108
120
padding: 0.05in; }
109
121
.grammar-footer { padding: 0.05in;
110
122
font-size: 85%; }
123
.grammartoken { font-family: "lucida typewriter", lucidatypewriter,
112
126
.productions { background-color: #bbeeff; }
113
127
.productions a:active { color: #ff0000; }
115
129
.productions a:visited:hover { background-color: #99ccff; }
116
130
.productions a:visited { color: #551a8b; }
117
131
.productions a:link { color: #0000bb; }
118
.productions table { vertical-align: baseline; }
132
.productions table { vertical-align: baseline;
134
.productions > table td,
135
.productions > table th { padding: 2px; }
136
.productions > table td:first-child,
137
.productions > table td:last-child {
138
font-family: "lucida typewriter",
142
/* same as the second selector above, but expressed differently for Opera */
143
.productions > table td:first-child + td + td {
144
font-family: "lucida typewriter",
147
vertical-align: baseline;
149
.productions > table td:first-child + td {
153
.productions > table tr { vertical-align: baseline; }
120
155
.email { font-family: avantgarde, sans-serif; }
121
156
.mailheader { font-family: avantgarde, sans-serif; }
123
158
.newsgroup { font-family: avantgarde, sans-serif; }
124
159
.url { font-family: avantgarde, sans-serif; }
125
160
.file { font-family: avantgarde, sans-serif; }
126
.menuselection { font-family: avantgarde, sans-serif; }
161
.guilabel { font-family: avantgarde, sans-serif; }
128
.tableheader { background-color: #99ccff;
129
font-family: avantgarde, sans-serif; }
163
.realtable { border-collapse: collapse;
166
border-width: 0px 0px 2px 0px;
171
padding-right: 0.4em;
173
.realtable tbody { vertical-align: baseline; }
174
.realtable tfoot { display: table-footer-group; }
175
.realtable thead { background-color: #99ccff;
176
border-width: 0px 0px 2px 1px;
177
display: table-header-group;
178
font-family: avantgarde, sans-serif;
180
vertical-align: baseline;
182
.realtable thead :first-child {
183
border-width: 0px 0px 2px 0px;
185
.realtable thead th { border-width: 0px 0px 2px 1px }
187
.realtable th { border-color: black;
189
border-width: 0px 0px 1px 1px;
191
padding-right: 0.4em;
193
.realtable td:first-child,
194
.realtable th:first-child {
195
border-left-width: 0px;
196
vertical-align: baseline;
198
.center { text-align: center; }
199
.left { text-align: left; }
200
.right { text-align: right; }
131
202
.refcount-info { font-style: italic; }
132
203
.refcount-info .value { font-weight: bold;
141
212
border: thin solid black;
142
213
padding: 0pt 1em 4pt 1em; }
144
.seealso .heading { font-size: 110%; }
215
.seealso > .heading { font-size: 110%;
147
219
* Class 'availability' is used for module availability statements at
226
* Additional styles for the distutils package.
228
.du-command { font-family: monospace; }
229
.du-option { font-family: avantgarde, sans-serif; }
230
.du-filevar { font-family: avantgarde, sans-serif;
231
font-style: italic; }
232
.du-xxx:before { content: "** ";
234
.du-xxx:after { content: " **";
154
239
* Some specialization for printed output.