Sat, 03 Jan 2015 20:18:00 +0100
Conditionally enable double key logic according to:
private browsing mode or privacy.thirdparty.isolate preference and
implement in GetCookieStringCommon and FindCookie where it counts...
With some reservations of how to convince FindCookie users to test
condition and pass a nullptr when disabling double key logic.
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 mobile is located at
7 * mobile/android/themes/core/aboutMemory.css.
8 * Desktop-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 display: inline; /* allow subsequent text to the right of the heading */
66 }
68 h2 {
69 background: #ddd;
70 padding-left: .1em;
71 }
73 h3 {
74 display: inline; /* allow subsequent text to the right of the heading */
75 }
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 }
83 .accuracyWarning {
84 color: #d22;
85 }
87 .badInputWarning {
88 color: #f00;
89 }
91 .treeline {
92 color: #888;
93 }
95 .mrValue {
96 font-weight: bold;
97 color: #400;
98 }
100 .mrPerc {
101 }
103 .mrSep {
104 }
106 .mrName {
107 color: #004;
108 }
110 .mrNote {
111 color: #604;
112 }
114 .hasKids {
115 cursor: pointer;
116 }
118 .hasKids:hover {
119 text-decoration: underline;
120 }
122 .noselect {
123 -moz-user-select: none; /* no need to include this when cutting+pasting */
124 }
126 .option {
127 font-size: 80%;
128 -moz-user-select: none; /* no need to include this when cutting+pasting */
129 }
131 .legend {
132 font-size: 80%;
133 -moz-user-select: none; /* no need to include this when cutting+pasting */
134 }
136 .debug {
137 font-size: 80%;
138 }
140 .hidden {
141 display: none;
142 }
144 .invalid {
145 color: #fff;
146 background-color: #f00;
147 }
149 /* Desktop-specific parts go here. */
151 .hasKids:hover {
152 text-decoration: underline;
153 }