toolkit/themes/faststripe/global/radio.css@97036ab72558
toolkit/themes/faststripe/global/radio.css
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rw-r--r--
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
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 /* ===== radio.css ===================================================
6 == Styles used by the XUL radio element.
7 ======================================================================= */
9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
11 /* ::::: radio ::::: */
13 radio {
14 -moz-appearance: radio-container;
15 -moz-box-align: center;
16 margin: 2px 4px;
17 padding-top: 1px;
18 padding-bottom: 1px;
19 -moz-padding-start: 4px;
20 -moz-padding-end: 2px;
21 }
23 .radio-label-box {
24 -moz-margin-start: 2px;
25 border: 1px solid transparent;
26 padding-top: 0px;
27 padding-bottom: 1px;
28 -moz-padding-start: 1px;
29 -moz-padding-end: 0px;
30 }
32 .radio-icon {
33 -moz-margin-end: 2px;
34 }
36 .radio-label {
37 margin: 0 !important;
38 }
40 /* ..... focused state ..... */
42 radio[focused="true"] > .radio-label-box {
43 border: 1px dotted ThreeDDarkShadow;
44 }
46 /* ..... disabled state ..... */
48 radio[disabled="true"] > .radio-check-box1 {
49 background-color: -moz-Dialog;
50 }
52 radio[disabled="true"] {
53 color: GrayText;
54 }
56 /* ::::: checkmark image ::::: */
58 .radio-check-box1 {
59 margin: 1px 0px;
60 border: 1px solid #555555;
61 border-radius: 50%;
62 width: 12px;
63 height: 12px;
64 background: -moz-Field no-repeat 50% 50%;
65 }
67 .radio-check-box2 {
68 border: 1px solid #555555;
69 border-radius: 50%;
70 padding: 2px;
71 width: 4px;
72 height: 4px;
73 list-style-image: none;
74 background: -moz-Field no-repeat 50% 50%;
75 }
77 radio:hover:active > .radio-check-box1 {
78 background-color: -moz-Dialog;
79 }
81 /* ..... selected state ..... */
83 radio[selected="true"] > .radio-check-box1 > .radio-check-box2 {
84 list-style-image: url("chrome://global/skin/radio/radio-check.gif");
85 }
87 radio[selected="true"][disabled="true"] > .radio-check-box1 > .radio-check-box2 {
88 list-style-image: url("chrome://global/skin/radio/radio-check-dis.gif") !important
89 }
