mobile/android/themes/core/aboutMemory.css

branch
TOR_BUG_3246
changeset 4
fc2d59ddac77
equal deleted inserted replaced
-1:000000000000 0:bc1c8ef29891
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 desktop is located at
7 * toolkit/components/aboutmemory/content/aboutMemory.css.
8 * Mobile-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 }
66
67 h2 {
68 background: #ddd;
69 padding-left: .1em;
70 }
71
72 .accuracyWarning {
73 color: #d22;
74 }
75
76 .badInputWarning {
77 color: #f00;
78 }
79
80 .treeline {
81 color: #888;
82 }
83
84 .mrValue {
85 font-weight: bold;
86 color: #400;
87 }
88
89 .mrPerc {
90 }
91
92 .mrSep {
93 }
94
95 .mrName {
96 color: #004;
97 }
98
99 .mrNote {
100 color: #604;
101 }
102
103 .hasKids {
104 cursor: pointer;
105 }
106
107 .hasKids:hover {
108 text-decoration: underline;
109 }
110
111 .noselect {
112 -moz-user-select: none; /* no need to include this when cutting+pasting */
113 }
114
115 .option {
116 font-size: 80%;
117 -moz-user-select: none; /* no need to include this when cutting+pasting */
118 }
119
120 .legend {
121 font-size: 80%;
122 -moz-user-select: none; /* no need to include this when cutting+pasting */
123 }
124
125 .debug {
126 font-size: 80%;
127 }
128
129 .hidden {
130 display: none;
131 }
132
133 .invalid {
134 color: #fff;
135 background-color: #f00;
136 }
137
138 /* Mobile-specific parts go here. */
139
140 /* buttons are different sizes and overlapping without this */
141 button {
142 margin: 1%;
143 padding: 2%;
144 }
145
146 .hiddenOnMobile {
147 display: none;
148 }
149

mercurial