toolkit/themes/osx/global/preferences.css@6474c204b198
toolkit/themes/osx/global/preferences.css
Wed, 31 Dec 2014 06:09:35 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Wed, 31 Dec 2014 06:09:35 +0100
- changeset 0
- 6474c204b198
- permissions
- -rw-r--r--
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 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
7 prefwindow {
8 padding: 0;
9 font: -moz-dialog !important;
10 }
12 prefpane {
13 padding: 12px 12px 0 12px;
14 }
16 prefwindow[type="child"] > prefpane {
17 padding: 0;
18 }
20 .prefWindow-dlgbuttons {
21 margin: 0 12px 12px;
22 padding-top: 0 !important;
23 }
25 .paneSelector {
26 font: message-box;
27 padding: 1px 4px;
28 -moz-appearance: toolbar;
29 margin: 0;
30 }
32 radio[pane] {
33 border: solid transparent;
34 border-width: 0 2px;
35 padding: 5px 4px 3px;
36 margin: 0;
37 -moz-appearance: none;
38 text-shadow: rgba(255, 255, 255, 0.4) 0 1px;
39 }
41 radio[pane]:active:hover {
42 text-shadow: none;
43 }
45 radio[pane] > .paneButtonIcon {
46 /* preload external filter file */
47 background-image: url("chrome://global/skin/filters.svg");
48 }
50 radio[pane]:active:hover > .paneButtonIcon {
51 filter: url("chrome://global/skin/filters.svg#iconPressed");
52 }
54 radio[pane][selected="true"] {
55 -moz-border-image: url("chrome://global/skin/icons/panebutton-active.png") 0 2 fill repeat stretch;
56 }
58 radio[pane][selected="true"]:-moz-window-inactive {
59 -moz-border-image: url("chrome://global/skin/icons/panebutton-inactive.png") 0 2 fill repeat stretch;
60 }
62 .paneButtonLabel {
63 margin: 0 !important;
64 }
