toolkit/components/aboutmemory/content/aboutMemory.css

branch
TOR_BUG_9701
changeset 15
b8a032363ba2
equal deleted inserted replaced
-1:000000000000 0:27c9ae4f53e0
1 /* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
4
5 /*
6 * The version used for mobile is located at
7 * mobile/android/themes/core/aboutMemory.css.
8 * Desktop-specific stuff is at the bottom of this file.
9 */
10
11 html {
12 background: -moz-Dialog;
13 font: message-box;
14 }
15
16 body {
17 padding: 0 2em;
18 margin: 0;
19 min-width: 45em;
20 margin: auto;
21 }
22
23 div.ancillary {
24 margin: 0.5em 0;
25 -moz-user-select: none;
26 }
27
28 div.section {
29 padding: 2em;
30 margin: 1em 0em;
31 border: 1px solid ThreeDShadow;
32 border-radius: 10px;
33 background: -moz-Field;
34 }
35
36 div.opsRow {
37 padding: 0.5em;
38 margin-right: 0.5em;
39 margin-top: 0.5em;
40 border: 1px solid ThreeDShadow;
41 border-radius: 10px;
42 background: -moz-Field;
43 display: inline-block;
44 }
45
46 div.opsRowLabel {
47 display: block;
48 margin-bottom: 0.2em;
49 font-weight: bold;
50 }
51
52 .opsRowLabel label {
53 margin-left: 1em;
54 font-weight: normal;
55 }
56
57 div.non-verbose pre.entries {
58 overflow-x: hidden;
59 text-overflow: ellipsis;
60 }
61
62 h1 {
63 padding: 0;
64 margin: 0;
65 display: inline; /* allow subsequent text to the right of the heading */
66 }
67
68 h2 {
69 background: #ddd;
70 padding-left: .1em;
71 }
72
73 h3 {
74 display: inline; /* allow subsequent text to the right of the heading */
75 }
76
77 a.upDownArrow {
78 font-size: 130%;
79 text-decoration: none;
80 -moz-user-select: none; /* no need to include this when cutting+pasting */
81 }
82
83 .accuracyWarning {
84 color: #d22;
85 }
86
87 .badInputWarning {
88 color: #f00;
89 }
90
91 .treeline {
92 color: #888;
93 }
94
95 .mrValue {
96 font-weight: bold;
97 color: #400;
98 }
99
100 .mrPerc {
101 }
102
103 .mrSep {
104 }
105
106 .mrName {
107 color: #004;
108 }
109
110 .mrNote {
111 color: #604;
112 }
113
114 .hasKids {
115 cursor: pointer;
116 }
117
118 .hasKids:hover {
119 text-decoration: underline;
120 }
121
122 .noselect {
123 -moz-user-select: none; /* no need to include this when cutting+pasting */
124 }
125
126 .option {
127 font-size: 80%;
128 -moz-user-select: none; /* no need to include this when cutting+pasting */
129 }
130
131 .legend {
132 font-size: 80%;
133 -moz-user-select: none; /* no need to include this when cutting+pasting */
134 }
135
136 .debug {
137 font-size: 80%;
138 }
139
140 .hidden {
141 display: none;
142 }
143
144 .invalid {
145 color: #fff;
146 background-color: #f00;
147 }
148
149 /* Desktop-specific parts go here. */
150
151 .hasKids:hover {
152 text-decoration: underline;
153 }
154

mercurial