~ubuntu-branches/ubuntu/raring/bioperl/raring

« back to all changes in this revision

Viewing changes to doc/howto/html/e-novative.css

  • Committer: Bazaar Package Importer
  • Author(s): Charles Plessy
  • Date: 2008-03-18 14:44:57 UTC
  • mfrom: (4 hardy)
  • mto: This revision was merged to the branch mainline in revision 6.
  • Revision ID: james.westby@ubuntu.com-20080318144457-1jjoztrvqwf0gruk
* debian/control:
  - Removed MIA Matt Hope (dopey) from the Uploaders field.
    Thank you for your work, Matt. I hope you are doing well.
  - Downgraded some recommended package to the 'Suggests' priority,
    according to the following discussion on Upstream's mail list.
    http://bioperl.org/pipermail/bioperl-l/2008-March/027379.html
    (Closes: #448890)
* debian/copyright converted to machine-readable format.

Show diffs side-by-side

added added

removed removed

Lines of Context:
1
 
/* css 2.0 stylesheet for DocBook generated XHTML                             */
2
 
/* (c) 2002 e-novative GmbH.                                                  */
3
 
/* http://www.e-novative.de                                                   */
4
 
 
5
 
/* Note that due to different browser interpretation of the standards, the    */
6
 
/* html pages still do not look exactly the same on every browser and system  */
7
 
 
8
 
/* This css file formats the html generated by the eDE                        */
9
 
/* Please modify this file according to your personal preferences.            */
10
 
 
11
 
/* In many spots, this file is not too well-documented currently. However,    */
12
 
/* we will improve documentation over the time                                */
13
 
 
14
 
/* basic settings for the document body, some elements inherit from these     */
15
 
body
16
 
{
17
 
  /* foreground color = black */
18
 
        color: #000;
19
 
 
20
 
  /* background-color = white */
21
 
        background-color: #fff;
22
 
 
23
 
        /* center the body content in browser window */
24
 
        /* Note: this is different from text-align   */
25
 
        /* margin depends on browser window width    */
26
 
        margin: auto;
27
 
 
28
 
        /* padding ("inner margin") leaves space between */
29
 
        /* browser window border and html body content   */
30
 
        padding: 24px;
31
 
 
32
 
        /* width depends on browser window width */
33
 
        width: auto;
34
 
 
35
 
        /* text-alignment    */
36
 
        /* alternative: left */
37
 
        text-align: justify;
38
 
}
39
 
 
40
 
 
41
 
/* set font for most elements                    */
42
 
/* p: paragraphs (regular text, docbook <para>)  */
43
 
/* (...) */
44
 
/* body: anything else  */
45
 
body, p, td, li, dt, dd,
46
 
{
47
 
  /* set font size and line height                             */
48
 
  /* list of fonts provides fallbacks if a font is not present */
49
 
        font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
50
 
}
51
 
 
52
 
 
53
 
/* pararaphs (docbook: <para>) */
54
 
p
55
 
{
56
 
  /* set font size and line height                             */
57
 
  /* list of fonts provides fallbacks if a font is not present */
58
 
        font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
59
 
 
60
 
  /* margin settings are top - right - bottom - left (think clockwise) */
61
 
  margin: 0 15px 6px 15px;
62
 
}
63
 
 
64
 
 
65
 
/* images */
66
 
/* docbook: <imageobject> */
67
 
img
68
 
{
69
 
  /* no margin */
70
 
  margin: 0;
71
 
 
72
 
  /* no padding ("inner margin") */
73
 
  padding: 0;
74
 
 
75
 
  /* no border */
76
 
  border: 0;
77
 
}
78
 
 
79
 
 
80
 
/* emphasized text, can occur in most places */
81
 
/* docbook: <emphasis> */
82
 
em
83
 
{
84
 
        /* bold face, higher number is more bold */
85
 
  font-weight: 600;
86
 
  /* italic */
87
 
  font-style: italic;
88
 
}
89
 
 
90
 
 
91
 
/* sect(ion)1 title */
92
 
h2
93
 
{
94
 
  /* list of fonts provides fallbacks if a font is not present */
95
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
96
 
 
97
 
        /* font size, relative to body font size */
98
 
        font-size: 125%;
99
 
 
100
 
        /* bold face, higher number is more bold */
101
 
        font-weight: 600;
102
 
 
103
 
  /* underlined text */
104
 
        text-decoration: none;
105
 
 
106
 
        /* foreground color: dark blue */
107
 
        color: #009;
108
 
 
109
 
        /* background color: gray */
110
 
        background-color: #ddd;
111
 
 
112
 
  /* margin settings are top - right - bottom - left (think clockwise) */
113
 
        margin: 15px 0 15px 0;
114
 
 
115
 
  /* padding ("inner margin") settings are top - right - bottom - left */
116
 
  /* (think clockwise)                                                 */
117
 
        padding: 12px 15px 12px 15px;
118
 
}
119
 
 
120
 
 
121
 
/* sect(ion)2 title */
122
 
h3
123
 
{
124
 
  /* list of fonts provides fallbacks if a font is not present */
125
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
126
 
 
127
 
        /* font size, relative to body font size */
128
 
        font-size: 110%;
129
 
 
130
 
        /* bold face, higher number is more bold */
131
 
        font-weight: 600;
132
 
 
133
 
  /* underlined text */
134
 
        text-decoration: none;
135
 
 
136
 
        /* foreground color: dark blue */
137
 
        color: #009;
138
 
 
139
 
  /* background-color is a very light grey */
140
 
  /* alternative: #fff = white             */
141
 
        background-color: #fefefe;
142
 
 
143
 
  /* padding ("inner margin") settings are top - right - bottom - left */
144
 
  /* (think clockwise)                                                 */
145
 
        padding: 0 0 0 15px;
146
 
}
147
 
 
148
 
 
149
 
/* sect(ion)3 title */
150
 
h4
151
 
{
152
 
  /* list of fonts provides fallbacks if a font is not present */
153
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
154
 
 
155
 
        /* font size, relative to body font size */
156
 
        font-size: 100%;
157
 
 
158
 
        /* bold face, higher number is more bold */
159
 
        font-weight: 600;
160
 
 
161
 
  /* underlined text */
162
 
        text-decoration: none;
163
 
 
164
 
        /* foreground color: dark blue */
165
 
        color: #009;
166
 
 
167
 
  /* background-color is a very light grey */
168
 
  /* alternative: #fff = white             */
169
 
        background-color: #fefefe;
170
 
 
171
 
  /* padding ("inner margin") settings are top - right - bottom - left */
172
 
  /* (think clockwise)                                                 */
173
 
        padding: 0 0 0 15px;
174
 
}
175
 
 
176
 
 
177
 
/* sect(ion)4 title */
178
 
h5
179
 
{
180
 
  /* list of fonts provides fallbacks if a font is not present */
181
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
182
 
 
183
 
        /* font size, relative to body font size */
184
 
        font-size: 100%;
185
 
 
186
 
        /* bold face, higher number is more bold */
187
 
        font-weight: 300;
188
 
 
189
 
  /* not underlined */
190
 
        text-decoration: none ;
191
 
 
192
 
        /* foreground color: dark blue */
193
 
        color: #009;
194
 
 
195
 
  /* background-color is a very light grey */
196
 
  /* alternative: #fff = white             */
197
 
        background-color: #fefefe;
198
 
 
199
 
  /* padding ("inner margin") settings are top - right - bottom - left */
200
 
  /* (think clockwise)                                                 */
201
 
        padding: 0 0 0 15px;
202
 
}
203
 
 
204
 
 
205
 
 
206
 
 
207
 
 
208
 
/* define special font for e-novative logo */
209
 
/* list of fonts provides fallbacks in case selected fonts are not present */
210
 
.logo
211
 
{
212
 
  font-family: Lucida Console, Verdana, Arial, Sans-Serif;
213
 
}
214
 
 
215
 
 
216
 
/* the following formats refer to the docbook tags of the same name           */
217
 
/* for more information, see the docbook reference at                         */
218
 
/* http://www.docbook.org/tdg/en/html/docbook.html                            */
219
 
 
220
 
.mediaobject
221
 
{
222
 
  /* center */
223
 
  text-align: center;
224
 
}
225
 
 
226
 
 
227
 
/*  */
228
 
.calloutlist, .figure, .table
229
 
{
230
 
  /* margin settings are top - right - bottom - left (think clockwise) */
231
 
  margin: 15px 30px 15px 30px;
232
 
}
233
 
 
234
 
 
235
 
/*  */
236
 
.itemizedlist, .variablelist {
237
 
  /* margin settings are top - right - bottom - left (think clockwise) */
238
 
  margin: 15px 30px 15px 15px;
239
 
}
240
 
 
241
 
/* blockquote formatting is a little more complex    */
242
 
/* because block quotes are rendered as a html table */
243
 
 
244
 
/* blockquote block */
245
 
.blockquote
246
 
{
247
 
  /* override bottom margin, the other margins are inherited */
248
 
  margin-bottom: 30px;
249
 
}
250
 
 
251
 
.blockquote p, .blockquote td
252
 
{
253
 
  /* set font size and line height                             */
254
 
  /* list of fonts provides fallbacks if a font is not present */
255
 
        font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
256
 
 
257
 
        /* bold face, higher number is more bold */
258
 
  font-weight: 450;
259
 
}
260
 
 
261
 
 
262
 
.epigraph
263
 
{
264
 
  /* override bottom margin, the other margins are inherited */
265
 
  margin-bottom: 30px;
266
 
}
267
 
 
268
 
.epigraph p, .epigraph td
269
 
{
270
 
  /* set font size and line height                             */
271
 
  /* list of fonts provides fallbacks if a font is not present */
272
 
        font: 10px/14px Verdana, Arial, Helvetica, Sans-Serif;
273
 
 
274
 
        /* bold face, higher number is more bold */
275
 
  font-weight: 600;
276
 
}
277
 
 
278
 
 
279
 
 
280
 
/* custom e-novative header and footer that are displayed on all pages */
281
 
#customheader, #customfooter
282
 
{
283
 
  /* list of fonts provides fallbacks if a font is not present */
284
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
285
 
 
286
 
        /* font size, relative to body font size */
287
 
        font-size: 80%;
288
 
 
289
 
        /* line height, relative to body font size */
290
 
  line-height: 200%;
291
 
 
292
 
 
293
 
  text-align: center;
294
 
  vertical-align: middle;
295
 
  color: #fff;
296
 
  background-color: #009;
297
 
}
298
 
 
299
 
 
300
 
/* leave more space between last paragraph and footer  */
301
 
/* some browser do not add up the bottom margin of the prior element */
302
 
/* and the top margin of the footer */
303
 
#customfooter {
304
 
  margin-top: 15px;
305
 
}
306
 
 
307
 
 
308
 
 
309
 
/* table { margin: 0 15px 6px 15px; } */
310
 
 
311
 
 
312
 
/* title and navigation links in header and footer */
313
 
.navheader th, .navheader td, .navfooter th, .navfooter td
314
 
{
315
 
  font-size: 11px;
316
 
  font-weight: 450;
317
 
}
318
 
 
319
 
 
320
 
/* table of contents, list of figures and list of tables */
321
 
.toc, .list-of-figures, .list-of-tables
322
 
{
323
 
  /* margin settings are top - right - bottom - left (think clockwise) */
324
 
  margin: 15px 30px 15px 15px;
325
 
}
326
 
 
327
 
 
328
 
/* the "headings" are rendered as paragraphs */
329
 
.toc p, .list-of-figures p, .list-of-tables p
330
 
{
331
 
  /* no margin */
332
 
  margin: 0;
333
 
}
334
 
 
335
 
 
336
 
.figure
337
 
{
338
 
  /* margin settings are top - right - bottom - left (think clockwise) */
339
 
  margin: 5px 5px 5px 5px;
340
 
 
341
 
  /* no padding ("inner border") */
342
 
  padding: 0;
343
 
 
344
 
  /* no border */
345
 
  border: 0;
346
 
 
347
 
  /* center text */
348
 
  text-align: center;
349
 
}
350
 
 
351
 
 
352
 
/* figure title */
353
 
.figure p, .table p, .example p
354
 
{
355
 
  font-size: 80%;
356
 
}
357
 
 
358
 
 
359
 
/*
360
 
acronym {
361
 
        border-bottom: 1px dashed #00cc00;
362
 
        cursor: help;
363
 
}
364
 
*/
365
 
 
366
 
 
367
 
/* admonition headings */
368
 
div.note, div.important, div.warning, div.caution, div.tip
369
 
{
370
 
  padding: 0px 15px 0px 0px;
371
 
}
372
 
 
373
 
div.note th, div.important th, div.warning th, div.caution th, div.tip th
374
 
{
375
 
  /* set font size and line height                             */
376
 
  /* list of fonts provides fallbacks if a font is not present */
377
 
        font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
378
 
 
379
 
  font-weight: 600;
380
 
 
381
 
  text-decoration: underline;
382
 
 
383
 
  /* left align */
384
 
  text-align: left;
385
 
}
386
 
 
387
 
.note p, .important p, .warning p, .caution p, .tip p
388
 
{
389
 
  margin: 0;
390
 
}
391
 
 
392
 
.note img, .important img, .warning img, .caution img, .tip img
393
 
{
394
 
  margin: 0px 15px 0px 15px;
395
 
}
396
 
 
397
 
 
398
 
/* programlisting */
399
 
pre.programlisting
400
 
{
401
 
  /* non-proportional font */
402
 
  /* list of fonts provides fallbacks if a font is not present */
403
 
        font-family: "Courier New", Courier, Monospace;
404
 
 
405
 
        /* color: black */
406
 
        color: #000;
407
 
 
408
 
  /* background color: gray */
409
 
  background-color: #eee;
410
 
 
411
 
        /* no margin */
412
 
        margin: 0;
413
 
 
414
 
        /* gray dotted border, 1 px wide */
415
 
        border: 1px dotted #ddd;
416
 
 
417
 
  /* padding ("inner margin") settings are top - right - bottom - left */
418
 
  /* (think clockwise)                                                 */
419
 
        padding: 6px 6px 6px 6px;
420
 
}
421
 
 
422
 
 
423
 
/* title page */
424
 
 
425
 
 
426
 
/* heading1 is used for document title */
427
 
h1
428
 
{
429
 
  /* list of fonts provides fallbacks if a font is not present */
430
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
431
 
 
432
 
        /* font size, relative to body font size */
433
 
        font-size: 150%;
434
 
 
435
 
        /* bold face, higher number is more bold */
436
 
        font-weight: 600;
437
 
 
438
 
        /* line height, relative to body line height */
439
 
        line-height: 250%;
440
 
 
441
 
        /* center */
442
 
        text-align: center;
443
 
 
444
 
        /* foreground color: dark blue */
445
 
        color: #009;
446
 
 
447
 
        /* background color: gray */
448
 
        background-color: #ddd;
449
 
 
450
 
  /* margin settings are top - right - bottom - left (think clockwise) */
451
 
        margin: 15px 0 15px 0;
452
 
 
453
 
        /* no padding ("inner margin") */
454
 
        padding: 0;
455
 
}
456
 
 
457
 
 
458
 
 
459
 
/* author on title page is formatted as h3          */
460
 
/* these settings overwrite the regular h3 settings */
461
 
h3.author
462
 
{
463
 
  /* set font size and line height                             */
464
 
  /* list of fonts provides fallbacks in case selected fonts are not present */
465
 
        font: 12px/18px Verdana, Arial, Helvetica, Sans-Serif;
466
 
 
467
 
        /* bold face, higher number is more bold */
468
 
        font-weight: 600;
469
 
 
470
 
        /* do not underline */
471
 
        text-decoration: none;
472
 
 
473
 
        /* center text */
474
 
        text-align: center;
475
 
 
476
 
        /* color: black */
477
 
        color: #000;
478
 
 
479
 
  /* background-color is a very light grey */
480
 
  /* alternative: #fff = white             */
481
 
        background-color: #fefefe;
482
 
 
483
 
  /* margin settings are top - right - bottom - left (think clockwise) */
484
 
  margin: 0 15px 15px 15px;
485
 
 
486
 
  /* no padding */
487
 
  padding: 0;
488
 
 
489
 
  /* no border */
490
 
  border: 0;
491
 
}
492
 
 
493
 
 
494
 
/* copyright and date */
495
 
.copyright, .pubdate
496
 
{
497
 
  /* list of fonts provides fallbacks if a font is not present */
498
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
499
 
 
500
 
        /* font size, relative to body font size */
501
 
        font-size: 90%;
502
 
 
503
 
        /* center */
504
 
  text-align: center;
505
 
 
506
 
  /* margin settings are top - right - bottom - left (think clockwise) */
507
 
  margin: 15px 15px 15px 15px;
508
 
 
509
 
  /* no padding ("inner margin") */
510
 
  padding: 0;
511
 
 
512
 
  /* no border */
513
 
  border: 0;
514
 
}
515
 
 
516
 
 
517
 
/* legal notice box */
518
 
div.legalnotice
519
 
{
520
 
  /* list of fonts provides fallbacks if a font is not present */
521
 
        font-family: Verdana, Arial, Helvetica, Sans-Serif;
522
 
 
523
 
        /* font size, relative to body font size */
524
 
  font-size: 90%;
525
 
 
526
 
        /* color: black */
527
 
  color: #000;
528
 
 
529
 
        /* background color: gray */
530
 
  background-color: #ddd;
531
 
 
532
 
  /* margin settings are top - right - bottom - left (think clockwise) */
533
 
  margin: 10px 45px 10px 45px;
534
 
 
535
 
  /* padding ("inner margin") settings are top - right - bottom - left */
536
 
  /* (think clockwise)                                                 */
537
 
  padding: 5px 5px 5px 5px;
538
 
 
539
 
  /* solid black border, 1px wide */
540
 
  border: 1px solid #000;
541
 
}
 
 
b'\\ No newline at end of file'