toolkit/themes/linux/global/preferences.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 /* ===== preferences.css =====================================================
michael@0 6 == Styles used by the XUL prefwindow 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 /* ::::: dialog ::::: */
michael@0 12
michael@0 13 prefwindow {
michael@0 14 padding: 0px;
michael@0 15 }
michael@0 16
michael@0 17 prefpane {
michael@0 18 padding: 8px;
michael@0 19 }
michael@0 20
michael@0 21 prefwindow[type="child"] {
michael@0 22 padding: 8px;
michael@0 23 }
michael@0 24
michael@0 25 prefwindow[type="child"] > prefpane {
michael@0 26 padding: 0px;
michael@0 27 }
michael@0 28
michael@0 29 .prefWindow-dlgbuttons {
michael@0 30 padding-bottom: 8px;
michael@0 31 -moz-padding-start: 8px;
michael@0 32 -moz-padding-end: 8px;
michael@0 33 }
michael@0 34
michael@0 35 prefwindow[type="child"] .prefWindow-dlgbuttons {
michael@0 36 padding: 0px;
michael@0 37 }
michael@0 38
michael@0 39 radio[pane] {
michael@0 40 -moz-appearance: none;
michael@0 41 min-width: 4.5em;
michael@0 42 margin: 0;
michael@0 43 padding: 3px;
michael@0 44 color: -moz-FieldText;
michael@0 45 }
michael@0 46
michael@0 47 .paneSelector {
michael@0 48 -moz-appearance: listbox;
michael@0 49 margin: 8px 8px 0 8px;
michael@0 50 padding: 0;
michael@0 51 }
michael@0 52
michael@0 53 .paneButtonIcon {
michael@0 54 width: 32px;
michael@0 55 height: 32px;
michael@0 56 }
michael@0 57
michael@0 58 radio[pane][selected="true"] {
michael@0 59 background-color: Highlight;
michael@0 60 color: HighlightText;
michael@0 61 }
michael@0 62

mercurial