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