The Tor Browser: browser/themes/linux/preferences/in-content/preferences.css@6474c204b198

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 file,

     3    - You can obtain one at http://mozilla.org/MPL/2.0/. */

     5 %include ../../../shared/incontentprefs/preferences.css

     7 button > .button-box,

     8 menulist > .menulist-label-box {

     9   -moz-appearance: none;

    10 }

    12 button[type="menu"] > .button-box > .button-menu-dropmarker {

    13   -moz-appearance: none !important;

    14 }

    16 menulist:not([editable="true"]) > .menulist-dropmarker {

    17   display: -moz-box;

    18   margin-top: 6px;

    19   margin-bottom: 6px;

    20 }

    22 checkbox {

    23   -moz-binding: url("chrome://global/content/bindings/checkbox.xml#checkbox");

    24   -moz-box-align: center;

    25 }

    27 checkbox:hover::before,

    28 checkbox[checked]::before {

    29   -moz-margin-end: -19px;

    30   -moz-margin-start: 4px;

    31   background-repeat: no-repeat;

    32 }

    34 radio {

    35   -moz-binding: url("chrome://global/content/bindings/radio.xml#radio");

    36   -moz-box-align: center;

    37   -moz-margin-start: 0;

    38 }

    40 .radio-label-box {

    41   -moz-appearance: none;

    42 }

    44 radio:hover::before,

    45 radio[selected]::before {

    46   -moz-margin-end: -17px;

    47   -moz-margin-start: 6px;

    48 }

    50 .numberbox-input-box {

    51   -moz-appearance: none;

    52   border-width: 0;

    53 }

    55 spinbuttons {

    56   -moz-appearance: none;

    57 }

    59 .actionsMenu {

    60   font-family: "Clear Sans", sans-serif;

    61   font-size: 1.25rem;

    62   line-height: 22px;

    63 }

    65 .actionsMenu > .menulist-label-box > .menulist-icon {

    66   margin-top: 1px;

    67   -moz-margin-start: 1px;

    68   -moz-margin-end: 6px;

    69 }

    71 .actionsMenu > .menulist-label-box > .menulist-label {

    72   margin-top: 2px !important;

    73 }

    75 menulist.actionsMenu > .menulist-dropmarker {

    76   margin-top: 11px;

    77   margin-bottom: 11px;

    78 }

The Tor Browser / file revision