annotate DOCS/xml/default.css @ 28115:1a9b1b7e285f

Add extra checks to avoid crashes with broken vqf files. Fixes CVE-2008-5616
author reimar
date Sun, 14 Dec 2008 15:17:18 +0000
parents 461f71ba8af4
children 0ad2da052b2e
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
2 color: black;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
3 background: white;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
4
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
5 font-family: Arial, Helvetica, sans-serif;
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 */
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
10 font-size: 14px;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
14 background: #333366;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
15 border-collapse: separate;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
16 border: solid 1px #333366;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
17 border-spacing: 1px;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
21 color: white;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
22 background: #4488cc;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
23 border: 0px;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
24 padding: 2px;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
28 background: #fffff8;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
29 border: 0px;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
30 padding: 2px;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
35 padding: 4px;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
36 background: #e0e0e0;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
40 padding: 4px;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
41 background: #e0e8f0;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
50 background: #ddd;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
51 border: solid 1px #aaa;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
52 white-space: nowrap;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
53 font-family: Arial, Helvetica, sans-serif;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
57 background: #dddddd;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
61 color: maroon;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
62 white-space: nowrap;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
66 color: #066;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
67 white-space: nowrap;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
71 padding-left: 0.5em;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
72 border-left: solid 2px black;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
76 color: #c00;
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 {
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
80 padding-left: 0.5em;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
81 border-left: solid 2px maroon;
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
82 }
461f71ba8af4 XML version of MPlayer's doc
nicolas
parents:
diff changeset
83 */