toolkit/themes/osx/global/preferences.css

Thu, 22 Jan 2015 13:21:57 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Thu, 22 Jan 2015 13:21:57 +0100
branch
TOR_BUG_9701
changeset 15
b8a032363ba2
permissions
-rw-r--r--

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

     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 }

mercurial