toolkit/themes/linux/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.

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 /* ===== radio.css ===================================================
michael@0 6 == Styles used by the XUL radio element.
michael@0 7 ======================================================================= */
michael@0 8
michael@0 9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
michael@0 10
michael@0 11 /* ::::: radio ::::: */
michael@0 12
michael@0 13 radio {
michael@0 14 -moz-appearance: radio-container;
michael@0 15 margin: 2px 4px;
michael@0 16 border-left: 2px transparent;
michael@0 17 border-right: 2px transparent;
michael@0 18 }
michael@0 19
michael@0 20 /* With native theming on, the spacer-box paints the radio mark and includes
michael@0 21 the spacing to the right, so that oversized radio images can slop over
michael@0 22 into the space.
michael@0 23
michael@0 24 If we need to disable radio button theming, the spacer box no longer paints
michael@0 25 the radio mark, but its fallback CSS border supplies the padding between
michael@0 26 the mark and the label. The xul:image then takes over painting the radio
michael@0 27 mark. */
michael@0 28
michael@0 29 .radio-spacer-box {
michael@0 30 -moz-appearance: radio;
michael@0 31 -moz-box-align: center;
michael@0 32 margin: 2px;
michael@0 33 border-right: 2px solid transparent;
michael@0 34 }
michael@0 35
michael@0 36 .radio-label-center-box {
michael@0 37 -moz-box-align: center;
michael@0 38 }
michael@0 39
michael@0 40 .radio-label-box {
michael@0 41 -moz-appearance: radio-label;
michael@0 42 }
michael@0 43
michael@0 44 .radio-icon[src] {
michael@0 45 -moz-margin-end: 2px;
michael@0 46 }
michael@0 47
michael@0 48 .radio-label {
michael@0 49 margin: 0 !important;
michael@0 50 }
michael@0 51
michael@0 52 /* ..... focused state ..... */
michael@0 53
michael@0 54 radio[focused="true"] > .radio-label-center-box > .radio-label-box {
michael@0 55 border: 1px dotted ThreeDDarkShadow;
michael@0 56 }
michael@0 57
michael@0 58 /* ..... disabled state ..... */
michael@0 59
michael@0 60 radio[disabled="true"] > .radio-spacer-box > .radio-check-box1 {
michael@0 61 background-color: -moz-Dialog;
michael@0 62 }
michael@0 63
michael@0 64 radio[disabled="true"] {
michael@0 65 color: GrayText;
michael@0 66 }
michael@0 67
michael@0 68 /* ::::: checkmark image ::::: */
michael@0 69
michael@0 70 .radio-check-box1 {
michael@0 71 border-top: 1px solid ThreeDShadow;
michael@0 72 border-right: 1px solid ThreeDHighlight;
michael@0 73 border-bottom: 1px solid ThreeDHighlight;
michael@0 74 border-left: 1px solid ThreeDShadow;
michael@0 75 border-radius: 50%;
michael@0 76 min-width: 12px;
michael@0 77 min-height: 12px;
michael@0 78 background-color: -moz-Field;
michael@0 79 }
michael@0 80
michael@0 81 .radio-check-box2 {
michael@0 82 border-top: 1px solid ThreeDDarkShadow;
michael@0 83 border-right: 1px solid ThreeDLightShadow;
michael@0 84 border-bottom: 1px solid ThreeDLightShadow;
michael@0 85 border-left: 1px solid ThreeDDarkShadow;
michael@0 86 border-radius: 50%;
michael@0 87 padding: 2px;
michael@0 88 width: 4px;
michael@0 89 height: 4px;
michael@0 90 list-style-image: none;
michael@0 91 }
michael@0 92
michael@0 93 radio:not([disabled="true"]):hover {
michael@0 94 color: -moz-buttonhovertext;
michael@0 95 text-shadow: none;
michael@0 96 }
michael@0 97
michael@0 98 radio:hover:active > .radio-spacer-box > .radio-check-box1 {
michael@0 99 background-color: -moz-Dialog;
michael@0 100 }
michael@0 101
michael@0 102 /* ..... selected state ..... */
michael@0 103
michael@0 104 radio[selected="true"] > .radio-spacer-box > .radio-check-box1 > .radio-check-box2 {
michael@0 105 list-style-image: url("chrome://global/skin/radio/radio-check.gif");
michael@0 106 }
michael@0 107
michael@0 108 radio[selected="true"][disabled="true"] > .radio-spacer-box > .radio-check-box1 > .radio-check-box2 {
michael@0 109 list-style-image: url("chrome://global/skin/radio/radio-check-dis.gif") !important
michael@0 110 }

mercurial