5
background-color: #f9f9f6;
10
ul, ol, dl, dd { margin: 0; }
11
div, pre, p, li, dt { margin: 1em 0 0 0; padding: 0; }
12
.first-child { margin-top: 0; }
13
li.condensed { margin-top: 0.2em; }
15
text-decoration: none;
21
a:hover { text-decoration: underline; }
36
-moz-border-radius: 6px;
37
border: solid 1px #e0e0df;
38
background-color: #ffffff;
44
a.navbar-prev::before {
48
a.navbar-next::after {
56
div.section { margin-top: 2.4em; clear: both; }
57
div.section div.section {
61
div.section div.section div.section { margin-top: 1.44em; }
65
border-bottom: solid 1px #e0e0df;
71
h2, h3, h4, h5, h6, h7 {
75
table { border-collapse: collapse; }
77
div.autolinks ul { margin: 0; padding: 0; }
78
div.autolinks div.title { margin: 1em 0 0 1em; }
79
div.autolinks div.title span {
80
border-bottom: solid 1px #e0e0df;
82
li.autolink { margin: 0.5em 0 0 0; padding: 0 0 0 1em; list-style-type: none; }
89
margin: 0 1px 0.2em 1px;
94
table.twocolumn { width: 100%; }
95
td.twocolumnleft { width: 48%; vertical-align: top; padding: 0; margin: 0; }
97
width: 52%; vertical-align: top;
98
margin: 0; padding: 0;
102
div.linkdiv div.title {
109
-moz-border-radius: 6px;
110
border: solid 1px #ffffff;
113
border-color: #c0c9ff;
114
background-color: #f0f9ff;
118
list-style-type: none;
120
border-bottom: solid 1px #e0e0df;
128
div.desc { margin: 0 0 0.2em 0; }
129
div.desc-listing, div.desc-synopsis { font-style: italic; }
130
div.desc-figure { margin: 0.2em 0 0 0; }
132
/* FIXME: In RTL locales, we really want to align this left, but the watermark
133
* we have is designed to fit in the top right corner. Either we need a new
134
* watermark, or we need a separate RTL version.
136
background: url('watermark-code.png') no-repeat top right;
137
border: solid 2px #e0e0df;
138
padding: 0.5em 1em 0.5em 1em;
141
border-left: solid 4px #e0e0df;
148
border: solid 1px #e0e0df;
149
background-color: #f9f9f6;
151
div.figure-contents {
153
padding: 0.5em 1em 0.5em 1em;
156
border: solid 1px #e0e0df;
157
background-color: #ffffff;
159
div.listing-contents { margin: 0; padding: 0; }
161
padding: 0.5em 6px 0.5em 6px;
162
border-top: solid 1px #ffc0c0;
163
border-bottom: solid 1px #ffc0c0;
164
background-color: #fffff0;
169
background-position: left top;
170
background-repeat: no-repeat;
172
background-image: url("admon-note.png");
174
div.note-advanced div.note-inner { }
175
div.note-bug div.note-inner { background-image: url("admon-bug.png"); }
176
div.note-important div.note-inner { background-image: url("admon-important.png"); }
177
div.note-tip div.note-inner { background-image: url("admon-tip.png"); }
178
div.note-warning div.note-inner { background-image: url("admon-warning.png"); }
179
div.note-contents { margin: 0; padding: 0; }
182
background-image: url('watermark-blockquote-201C.png');
183
background-repeat: no-repeat;
184
background-position: top left;
191
blockquote { margin: 0; padding: 0; }
200
div.cite-quote::before {
205
padding: 0.5em 1em 0.5em 1em;
206
background-color: #f9f9f6;
207
border: solid 2px #e0e0df;
209
div.synopsis-contents {
211
padding: 0.5em 1em 0.5em 1em;
212
border-top: solid 2px;
213
border-bottom: solid 2px;
214
border-color: #c0c9ff;
215
background-color: #f9f9f6;
217
div.synopsis pre.code {
223
div.list-contents { margin: 0; padding: 0; }
224
div.title-list { margin-bottom: 0.5em; }
225
ol.list, ul.list { margin: 0; padding: 0; }
226
li.item-list { margin-left: 1.44em; }
230
padding: 0.5em 1em 0.5em 1em;
231
border-top: solid 2px;
232
border-bottom: solid 2px;
233
border-color: #c0c9ff;
234
background-color: #fffff0;
236
div.steps-contents div.steps-contents {
239
background-color: none;
241
ol.steps, ul.steps { margin: 0; padding: 0; }
242
li.item-steps { margin-left: 1.44em; }
244
div.terms-contents { margin: 0; }
245
dt.item-next { margin-top: 0; }
252
margin: 0; padding: 0;
253
list-style-type: none;
255
li.item-tree { margin: 0; padding: 0; }
256
div.item-tree { margin: 0; padding: 0; }
257
ul.tree ul.tree { margin-left: 1.44em; }
258
div.tree-lines ul.tree { margin-left: 0; }
261
border-collapse: collapse;
262
border-color: #555753;
266
padding: 0.1em 0.5em 0.1em 0.5em;
267
border-color: #888a85;
272
span.app { font-style: italic; }
274
font-family: monospace;
275
background-color: #f9f9f6;
276
padding: 0 0.2em 0 0.2em;
278
span.code { font-family: monospace; }
279
span.em { font-style: italic; }
280
span.email { color: red; }
281
span.file { font-family: monospace; }
282
span.gui, span.guiseq { color: #3f3f3f; }
283
span.input { font-family: monospace; }
285
background-color: #fffff0;
289
border: solid 1px #e0e0df;
290
padding: 0 0.2em 0 0.2em;
295
span.output { font-family: monospace; }
296
pre.screen span.output {
299
pre.screen span.output-error {
303
pre.screen span.output-prompt { font-weight: bold; }
304
span.sys { font-family: monospace; }
305
span.var { font-style: italic; }
312
padding: 0.5em 1em 0.5em 1em;
314
-moz-border-radius: 6px;
315
border: solid 1px #e0e0df;
316
background-color: #fffff0;
318
div.version:hover { opacity: 0.8; }
319
div.version p.version { margin-top: 0.2em; }
320
div.linkdiv div.title span.status {
324
padding-right: 0.2em;
326
border: solid 1px #ffc0c0;
328
div.linkdiv div.title span.status-stub { background-color: #fff0f0; }
329
div.linkdiv div.title span.status-draft { background-color: #fff0f0; }
330
div.linkdiv div.title span.status-incomplete { background-color: #fff0f0; }
331
div.linkdiv div.title span.status-review { background-color: #fffff0; }
332
div.linkdiv div.desc {
338
border: solid 2px #ffc0c0;
339
background-color: #fff0f0;
341
div.comment div.comment {
342
margin: 1em 1em 0 1em;
344
div.comment div.cite {