Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
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/. */
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 */
11 html {
12 background: -moz-Dialog;
13 font: message-box;
14 }
16 body {
17 padding: 0 2em;
18 margin: 0;
19 min-width: 45em;
20 margin: auto;
21 }
23 div.ancillary {
24 margin: 0.5em 0;
25 -moz-user-select: none;
26 }
28 div.section {
29 padding: 2em;
30 margin: 1em 0em;
31 border: 1px solid ThreeDShadow;
32 border-radius: 10px;
33 background: -moz-Field;
34 }
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 }
46 div.opsRowLabel {
47 display: block;
48 margin-bottom: 0.2em;
49 font-weight: bold;
50 }
52 .opsRowLabel label {
53 margin-left: 1em;
54 font-weight: normal;
55 }
57 div.non-verbose pre.entries {
58 overflow-x: hidden;
59 text-overflow: ellipsis;
60 }
62 h1 {
63 padding: 0;
64 margin: 0;
65 }
67 h2 {
68 background: #ddd;
69 padding-left: .1em;
70 }
72 .accuracyWarning {
73 color: #d22;
74 }
76 .badInputWarning {
77 color: #f00;
78 }
80 .treeline {
81 color: #888;
82 }
84 .mrValue {
85 font-weight: bold;
86 color: #400;
87 }
89 .mrPerc {
90 }
92 .mrSep {
93 }
95 .mrName {
96 color: #004;
97 }
99 .mrNote {
100 color: #604;
101 }
103 .hasKids {
104 cursor: pointer;
105 }
107 .hasKids:hover {
108 text-decoration: underline;
109 }
111 .noselect {
112 -moz-user-select: none; /* no need to include this when cutting+pasting */
113 }
115 .option {
116 font-size: 80%;
117 -moz-user-select: none; /* no need to include this when cutting+pasting */
118 }
120 .legend {
121 font-size: 80%;
122 -moz-user-select: none; /* no need to include this when cutting+pasting */
123 }
125 .debug {
126 font-size: 80%;
127 }
129 .hidden {
130 display: none;
131 }
133 .invalid {
134 color: #fff;
135 background-color: #f00;
136 }
138 /* Mobile-specific parts go here. */
140 /* buttons are different sizes and overlapping without this */
141 button {
142 margin: 1%;
143 padding: 2%;
144 }
146 .hiddenOnMobile {
147 display: none;
148 }