The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/themes/linux/preferences/in-content/preferences.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,78 @@
     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 file,
     1.6 +   - You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.7 +
     1.8 +%include ../../../shared/incontentprefs/preferences.css
     1.9 +
    1.10 +button > .button-box,
    1.11 +menulist > .menulist-label-box {
    1.12 +  -moz-appearance: none;
    1.13 +}
    1.14 +
    1.15 +button[type="menu"] > .button-box > .button-menu-dropmarker {
    1.16 +  -moz-appearance: none !important;
    1.17 +}
    1.18 +
    1.19 +menulist:not([editable="true"]) > .menulist-dropmarker {
    1.20 +  display: -moz-box;
    1.21 +  margin-top: 6px;
    1.22 +  margin-bottom: 6px;
    1.23 +}
    1.24 +
    1.25 +checkbox {
    1.26 +  -moz-binding: url("chrome://global/content/bindings/checkbox.xml#checkbox");
    1.27 +  -moz-box-align: center;
    1.28 +}
    1.29 +
    1.30 +checkbox:hover::before,
    1.31 +checkbox[checked]::before {
    1.32 +  -moz-margin-end: -19px;
    1.33 +  -moz-margin-start: 4px;
    1.34 +  background-repeat: no-repeat;
    1.35 +}
    1.36 +
    1.37 +radio {
    1.38 +  -moz-binding: url("chrome://global/content/bindings/radio.xml#radio");
    1.39 +  -moz-box-align: center;
    1.40 +  -moz-margin-start: 0;
    1.41 +}
    1.42 +
    1.43 +.radio-label-box {
    1.44 +  -moz-appearance: none;
    1.45 +}
    1.46 +
    1.47 +radio:hover::before,
    1.48 +radio[selected]::before {
    1.49 +  -moz-margin-end: -17px;
    1.50 +  -moz-margin-start: 6px;
    1.51 +}
    1.52 +
    1.53 +.numberbox-input-box {
    1.54 +  -moz-appearance: none;
    1.55 +  border-width: 0;
    1.56 +}
    1.57 +
    1.58 +spinbuttons {
    1.59 +  -moz-appearance: none;
    1.60 +}
    1.61 +
    1.62 +.actionsMenu {
    1.63 +  font-family: "Clear Sans", sans-serif;
    1.64 +  font-size: 1.25rem;
    1.65 +  line-height: 22px;
    1.66 +}
    1.67 +
    1.68 +.actionsMenu > .menulist-label-box > .menulist-icon {
    1.69 +  margin-top: 1px;
    1.70 +  -moz-margin-start: 1px;
    1.71 +  -moz-margin-end: 6px;
    1.72 +}
    1.73 +
    1.74 +.actionsMenu > .menulist-label-box > .menulist-label {
    1.75 +  margin-top: 2px !important;
    1.76 +}
    1.77 +
    1.78 +menulist.actionsMenu > .menulist-dropmarker {
    1.79 +  margin-top: 11px;
    1.80 +  margin-bottom: 11px;
    1.81 +}