The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/toolkit/themes/osx/global/preferences.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,64 @@
     1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
     1.9 +
    1.10 +prefwindow {
    1.11 +  padding: 0;
    1.12 +  font: -moz-dialog !important;
    1.13 +}
    1.14 +
    1.15 +prefpane {
    1.16 +  padding: 12px 12px 0 12px;
    1.17 +}
    1.18 +
    1.19 +prefwindow[type="child"] > prefpane {
    1.20 +  padding: 0;
    1.21 +}
    1.22 +
    1.23 +.prefWindow-dlgbuttons {
    1.24 +  margin: 0 12px 12px;
    1.25 +  padding-top: 0 !important;
    1.26 +}
    1.27 +
    1.28 +.paneSelector {
    1.29 +  font: message-box;
    1.30 +  padding: 1px 4px;
    1.31 +  -moz-appearance: toolbar;
    1.32 +  margin: 0;
    1.33 +}
    1.34 +
    1.35 +radio[pane] {
    1.36 +  border: solid transparent;
    1.37 +  border-width: 0 2px;
    1.38 +  padding: 5px 4px 3px;
    1.39 +  margin: 0;
    1.40 +  -moz-appearance: none;
    1.41 +  text-shadow: rgba(255, 255, 255, 0.4) 0 1px;
    1.42 +}
    1.43 +
    1.44 +radio[pane]:active:hover {
    1.45 +  text-shadow: none;
    1.46 +}
    1.47 +
    1.48 +radio[pane] > .paneButtonIcon {
    1.49 +  /* preload external filter file */
    1.50 +  background-image: url("chrome://global/skin/filters.svg");
    1.51 +}
    1.52 +
    1.53 +radio[pane]:active:hover > .paneButtonIcon {
    1.54 +  filter: url("chrome://global/skin/filters.svg#iconPressed");
    1.55 +}
    1.56 +
    1.57 +radio[pane][selected="true"] {
    1.58 +  -moz-border-image: url("chrome://global/skin/icons/panebutton-active.png") 0 2 fill repeat stretch;
    1.59 +}
    1.60 +
    1.61 +radio[pane][selected="true"]:-moz-window-inactive {
    1.62 +  -moz-border-image: url("chrome://global/skin/icons/panebutton-inactive.png") 0 2 fill repeat stretch;
    1.63 +}
    1.64 +
    1.65 +.paneButtonLabel {
    1.66 +  margin: 0 !important;
    1.67 +}