~ubuntu-branches/debian/squeeze/mplayer/squeeze

« back to all changes in this revision

Viewing changes to DOCS/HTML/en/default.css

  • Committer: Bazaar Package Importer
  • Author(s): Reinhard Tartler
  • Date: 2010-07-31 23:44:52 UTC
  • mfrom: (1.1.4 upstream) (8.1.1 experimental)
  • Revision ID: james.westby@ubuntu.com-20100731234452-j7yyrgsh1wustazr
Tags: 2:1.0~rc3++final.dfsg1-1
* upload to unstable
* enable mencoder and mplayer-gui package
* build again against the system FFmpeg 0.5

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
body {
 
2
        color: black;
 
3
        background: white;
 
4
 
 
5
        font-family: Arial, Helvetica, sans-serif;
 
6
/*
 
7
 * It's a Bad Idea(tm) to use fixed font sizes.
 
8
 * Uncomment it if you _really_ want
 
9
 */
 
10
        font-size: 14px;
 
11
}
 
12
 
 
13
div.table table, div.informaltable table {
 
14
        background: #333366;
 
15
        border-collapse: separate;
 
16
        border: solid 1px #333366;
 
17
        border-spacing: 1px;
 
18
}
 
19
 
 
20
div.table th, div.informaltable th {
 
21
        color: white;
 
22
        background: #4488cc;
 
23
        border: 0px;
 
24
        padding: 2px;
 
25
}
 
26
 
 
27
div.table td, div.informaltable td {
 
28
        background: #fffff8;
 
29
        border: 0px;
 
30
        padding: 2px;
 
31
}
 
32
 
 
33
 
 
34
pre.screen {
 
35
        padding: 4px;
 
36
        background: #e0e0e0;
 
37
}
 
38
 
 
39
pre.programlisting {
 
40
        padding: 4px;
 
41
        background: #e0e8f0;
 
42
}
 
43
 
 
44
/*
 
45
span.application {
 
46
}
 
47
*/
 
48
 
 
49
span.keycap {
 
50
        background: #ddd;
 
51
        border: solid 1px #aaa;
 
52
        white-space: nowrap;
 
53
        font-family: Arial, Helvetica, sans-serif;
 
54
}
 
55
 
 
56
span.guimenu, span.guisubmenu, span.guimenuitem {
 
57
        background: #dddddd;
 
58
}
 
59
 
 
60
tt.filename {
 
61
        color: maroon;
 
62
        white-space: nowrap;
 
63
}
 
64
 
 
65
tt.option {
 
66
        color: #066;
 
67
        white-space: nowrap;
 
68
}
 
69
 
 
70
div.example {
 
71
        padding-left: 0.5em;
 
72
        border-left: solid 2px black;
 
73
}
 
74
 
 
75
div.important .title, div.caution .title, div.warning .title {
 
76
        color: #c00;
 
77
}
 
78
/*
 
79
div.important, div.warning, div.caution {
 
80
        padding-left: 0.5em;
 
81
        border-left: solid 2px maroon;
 
82
}
 
83
*/