annotate DOCS/xml/default.css @ 33263:5f527a9a9521

Add an exit function. This function will allow performing clean-up operations. (MPlayer calls guiDone() before exiting, but only if the GUI has been initialized, i.e. if guiInit() has been called successfully. Any exit_player()/exit_player_with_rc() after GUI's cfg_read() until guiInit(), or any exit_player() during guiInit() itself will end the GUI without calling guiDone(). This exit function will at least handle abortions during guiInit() itself. It will be called twice in case of an guiExit() after GUI initialization - first directly, next by guiDone() via MPlayer's exit_player_with_rc().)
author ib
date Tue, 03 May 2011 12:19:22 +0000
parents 0ad2da052b2e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
1 body {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
2 color: black;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
3 background: white;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
4
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
5 font-family: Arial, Helvetica, sans-serif;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
6 /*
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
7 * It's a Bad Idea(tm) to use fixed font sizes.
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
8 * Uncomment it if you _really_ want
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
9 */
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
10 font-size: 14px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
11 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
12
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
13 div.table table, div.informaltable table {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
14 background: #333366;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
15 border-collapse: separate;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
16 border: solid 1px #333366;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
17 border-spacing: 1px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
18 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
19
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
20 div.table th, div.informaltable th {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
21 color: white;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
22 background: #4488cc;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
23 border: 0px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
24 padding: 2px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
25 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
26
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
27 div.table td, div.informaltable td {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
28 background: #fffff8;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
29 border: 0px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
30 padding: 2px;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
31 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
32
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
33
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
34 pre.screen {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
35 padding: 4px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
36 background: #e0e0e0;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
37 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
38
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
39 pre.programlisting {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
40 padding: 4px;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
41 background: #e0e8f0;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
42 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
43
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
44 /*
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
45 span.application {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
46 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
47 */
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
48
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
49 span.keycap {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
50 background: #ddd;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
51 border: solid 1px #aaa;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
52 white-space: nowrap;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
53 font-family: Arial, Helvetica, sans-serif;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
54 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
55
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
56 span.guimenu, span.guisubmenu, span.guimenuitem {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
57 background: #dddddd;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
58 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
59
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
60 tt.filename {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
61 color: maroon;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
62 white-space: nowrap;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
63 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
64
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
65 tt.option {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
66 color: #066;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
67 white-space: nowrap;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
68 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
69
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
70 div.example {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
71 padding-left: 0.5em;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
72 border-left: solid 2px black;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
73 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
74
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
75 div.important .title, div.caution .title, div.warning .title {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
76 color: #c00;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
77 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
78 /*
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
79 div.important, div.warning, div.caution {
30990
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
80 padding-left: 0.5em;
0ad2da052b2e the great MPlayer tab removal: part I
diego
parents: 9674
diff changeset
81 border-left: solid 2px maroon;
9674
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
82 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
83 */