comparison DOCS/xml/default.css @ 30990:0ad2da052b2e

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