← Back to branch summary

~ubuntu-branches/debian/sid/spice/sid

« back to all changes in this revision

Viewing changes to docs/manual/manual.chunked/docbook-xsl.css

  • Committer: Package Import Robot
  • Author(s): Michael Tokarev
  • Date: 2014-05-23 19:26:44 UTC
  • mfrom: (0.5.4)
  • Revision ID: package-import@ubuntu.com-20140523192644-svo3epmsv5i1ioql
Tags: 0.12.5-1
http://bugs.debian.org/743850
http://bugs.debian.org/722241
* new upstream release.  Can now build without celt!
* Dropped patches:
  - make-celt-to-be-optional.patch
  - link-server-test-with-libm-libpthread.patch
  - enable_subdir-objects.patch
  - fix-buffer-overflow-when-decrypting-client-spice-ticket.patch
* build-depend on libopus-dev, which enables opus support
  (no --enable-opus configure flag for now)
* do not remove .version in clean anymore (it is part of the tarball)
* do not use dh_autoreconf, since we aren't changing autoconf anymore
* update libspice-server1.symbols with new symbols
* introduce libspice-server1-dbg package (Closes: #743850)
* fix the vcs-browse url (Closes: #722241)

Show diffs side-by-side

added added

removed removed

Lines of Context:
docs/manual/manual.chunked/docbook-xsl.css
 
1
/*
 
2
  CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
 
3
*/
 
4
 
 
5
body {
 
6
  font-family: Georgia,serif;
 
7
}
 
8
 
 
9
code, pre {
 
10
  font-family: "Courier New", Courier, monospace;
 
11
}
 
12
 
 
13
span.strong {
 
14
  font-weight: bold;
 
15
}
 
16
 
 
17
body blockquote {
 
18
  margin-top: .75em;
 
19
  line-height: 1.5;
 
20
  margin-bottom: .75em;
 
21
}
 
22
 
 
23
html body {
 
24
  margin: 1em 5% 1em 5%;
 
25
  line-height: 1.2;
 
26
}
 
27
 
 
28
body div {
 
29
  margin: 0;
 
30
}
 
31
 
 
32
h1, h2, h3, h4, h5, h6
 
33
{
 
34
  color: #527bbd;
 
35
  font-family: Arial,Helvetica,sans-serif;
 
36
}
 
37
 
 
38
div.toc p:first-child,
 
39
div.list-of-figures p:first-child,
 
40
div.list-of-tables p:first-child,
 
41
div.list-of-examples p:first-child,
 
42
div.example p.title,
 
43
div.sidebar p.title
 
44
{
 
45
  font-weight: bold;
 
46
  color: #527bbd;
 
47
  font-family: Arial,Helvetica,sans-serif;
 
48
  margin-bottom: 0.2em;
 
49
}
 
50
 
 
51
body h1 {
 
52
  margin: .0em 0 0 -4%;
 
53
  line-height: 1.3;
 
54
  border-bottom: 2px solid silver;
 
55
}
 
56
 
 
57
body h2 {
 
58
  margin: 0.5em 0 0 -4%;
 
59
  line-height: 1.3;
 
60
  border-bottom: 2px solid silver;
 
61
}
 
62
 
 
63
body h3 {
 
64
  margin: .8em 0 0 -3%;
 
65
  line-height: 1.3;
 
66
}
 
67
 
 
68
body h4 {
 
69
  margin: .8em 0 0 -3%;
 
70
  line-height: 1.3;
 
71
}
 
72
 
 
73
body h5 {
 
74
  margin: .8em 0 0 -2%;
 
75
  line-height: 1.3;
 
76
}
 
77
 
 
78
body h6 {
 
79
  margin: .8em 0 0 -1%;
 
80
  line-height: 1.3;
 
81
}
 
82
 
 
83
body hr {
 
84
  border: none; /* Broken on IE6 */
 
85
}
 
86
div.footnotes hr {
 
87
  border: 1px solid silver;
 
88
}
 
89
 
 
90
div.navheader th, div.navheader td, div.navfooter td {
 
91
  font-family: Arial,Helvetica,sans-serif;
 
92
  font-size: 0.9em;
 
93
  font-weight: bold;
 
94
  color: #527bbd;
 
95
}
 
96
div.navheader img, div.navfooter img {
 
97
  border-style: none;
 
98
}
 
99
div.navheader a, div.navfooter a {
 
100
  font-weight: normal;
 
101
}
 
102
div.navfooter hr {
 
103
  border: 1px solid silver;
 
104
}
 
105
 
 
106
body td {
 
107
  line-height: 1.2
 
108
}
 
109
 
 
110
body th {
 
111
  line-height: 1.2;
 
112
}
 
113
 
 
114
ol {
 
115
  line-height: 1.2;
 
116
}
 
117
 
 
118
ul, body dir, body menu {
 
119
  line-height: 1.2;
 
120
}
 
121
 
 
122
html {
 
123
  margin: 0; 
 
124
  padding: 0;
 
125
}
 
126
 
 
127
body h1, body h2, body h3, body h4, body h5, body h6 {
 
128
  margin-left: 0
 
129
} 
 
130
 
 
131
body pre {
 
132
  margin: 0.5em 10% 0.5em 1em;
 
133
  line-height: 1.0;
 
134
  color: navy;
 
135
}
 
136
 
 
137
tt.literal, code.literal {
 
138
  color: navy;
 
139
}
 
140
 
 
141
.programlisting, .screen {
 
142
  border: 1px solid silver;
 
143
  background: #f4f4f4;
 
144
  margin: 0.5em 10% 0.5em 0;
 
145
  padding: 0.5em 1em;
 
146
}
 
147
 
 
148
div.sidebar {
 
149
  background: #ffffee;
 
150
  margin: 1.0em 10% 0.5em 0;
 
151
  padding: 0.5em 1em;
 
152
  border: 1px solid silver;
 
153
}
 
154
div.sidebar * { padding: 0; }
 
155
div.sidebar div { margin: 0; }
 
156
div.sidebar p.title {
 
157
  margin-top: 0.5em;
 
158
  margin-bottom: 0.2em;
 
159
}
 
160
 
 
161
div.bibliomixed {
 
162
  margin: 0.5em 5% 0.5em 1em;
 
163
}
 
164
 
 
165
div.glossary dt {
 
166
  font-weight: bold;
 
167
}
 
168
div.glossary dd p {
 
169
  margin-top: 0.2em;
 
170
}
 
171
 
 
172
dl {
 
173
  margin: .8em 0;
 
174
  line-height: 1.2;
 
175
}
 
176
 
 
177
dt {
 
178
  margin-top: 0.5em;
 
179
}
 
180
 
 
181
dt span.term {
 
182
  font-style: normal;
 
183
  color: navy;
 
184
}
 
185
 
 
186
div.variablelist dd p {
 
187
  margin-top: 0;
 
188
}
 
189
 
 
190
div.itemizedlist li, div.orderedlist li {
 
191
  margin-left: -0.8em;
 
192
  margin-top: 0.5em;
 
193
}
 
194
 
 
195
ul, ol {
 
196
    list-style-position: outside;
 
197
}
 
198
 
 
199
div.sidebar ul, div.sidebar ol {
 
200
    margin-left: 2.8em;
 
201
}
 
202
 
 
203
div.itemizedlist p.title,
 
204
div.orderedlist p.title,
 
205
div.variablelist p.title
 
206
{
 
207
  margin-bottom: -0.8em;
 
208
}
 
209
 
 
210
div.revhistory table {
 
211
  border-collapse: collapse;
 
212
  border: none;
 
213
}
 
214
div.revhistory th {
 
215
  border: none;
 
216
  color: #527bbd;
 
217
  font-family: Arial,Helvetica,sans-serif;
 
218
}
 
219
div.revhistory td {
 
220
  border: 1px solid silver;
 
221
}
 
222
 
 
223
/* Keep TOC and index lines close together. */
 
224
div.toc dl, div.toc dt,
 
225
div.list-of-figures dl, div.list-of-figures dt,
 
226
div.list-of-tables dl, div.list-of-tables dt,
 
227
div.indexdiv dl, div.indexdiv dt
 
228
{
 
229
  line-height: normal;
 
230
  margin-top: 0;
 
231
  margin-bottom: 0;
 
232
}
 
233
 
 
234
/*
 
235
  Table styling does not work because of overriding attributes in
 
236
  generated HTML.
 
237
*/
 
238
div.table table,
 
239
div.informaltable table
 
240
{
 
241
    margin-left: 0;
 
242
    margin-right: 5%;
 
243
    margin-bottom: 0.8em;
 
244
}
 
245
div.informaltable table
 
246
{
 
247
    margin-top: 0.4em
 
248
}
 
249
div.table thead,
 
250
div.table tfoot,
 
251
div.table tbody,
 
252
div.informaltable thead,
 
253
div.informaltable tfoot,
 
254
div.informaltable tbody
 
255
{
 
256
    /* No effect in IE6. */
 
257
    border-top: 3px solid #527bbd;
 
258
    border-bottom: 3px solid #527bbd;
 
259
}
 
260
div.table thead, div.table tfoot,
 
261
div.informaltable thead, div.informaltable tfoot
 
262
{
 
263
    font-weight: bold;
 
264
}
 
265
 
 
266
div.mediaobject img {
 
267
    margin-bottom: 0.8em;
 
268
}
 
269
div.figure p.title,
 
270
div.table p.title
 
271
{
 
272
  margin-top: 1em;
 
273
  margin-bottom: 0.4em;
 
274
}
 
275
 
 
276
div.calloutlist p
 
277
{
 
278
  margin-top: 0em;
 
279
  margin-bottom: 0.4em;
 
280
}
 
281
 
 
282
a img {
 
283
  border-style: none;
 
284
}
 
285
 
 
286
@media print {
 
287
  div.navheader, div.navfooter { display: none; }
 
288
}
 
289
 
 
290
span.aqua { color: aqua; }
 
291
span.black { color: black; }
 
292
span.blue { color: blue; }
 
293
span.fuchsia { color: fuchsia; }
 
294
span.gray { color: gray; }
 
295
span.green { color: green; }
 
296
span.lime { color: lime; }
 
297
span.maroon { color: maroon; }
 
298
span.navy { color: navy; }
 
299
span.olive { color: olive; }
 
300
span.purple { color: purple; }
 
301
span.red { color: red; }
 
302
span.silver { color: silver; }
 
303
span.teal { color: teal; }
 
304
span.white { color: white; }
 
305
span.yellow { color: yellow; }
 
306
 
 
307
span.aqua-background { background: aqua; }
 
308
span.black-background { background: black; }
 
309
span.blue-background { background: blue; }
 
310
span.fuchsia-background { background: fuchsia; }
 
311
span.gray-background { background: gray; }
 
312
span.green-background { background: green; }
 
313
span.lime-background { background: lime; }
 
314
span.maroon-background { background: maroon; }
 
315
span.navy-background { background: navy; }
 
316
span.olive-background { background: olive; }
 
317
span.purple-background { background: purple; }
 
318
span.red-background { background: red; }
 
319
span.silver-background { background: silver; }
 
320
span.teal-background { background: teal; }
 
321
span.white-background { background: white; }
 
322
span.yellow-background { background: yellow; }
 
323
 
 
324
span.big { font-size: 2em; }
 
325
span.small { font-size: 0.6em; }
 
326
 
 
327
span.underline { text-decoration: underline; }
 
328
span.overline { text-decoration: overline; }
 
329
span.line-through { text-decoration: line-through; }