toolkit/themes/linux/global/numberbox.css

Tue, 06 Jan 2015 21:39:09 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Tue, 06 Jan 2015 21:39:09 +0100
branch
TOR_BUG_9701
changeset 8
97036ab72558
permissions
-rw-r--r--

Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.

michael@0 1 /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0 2 * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0 4
michael@0 5 /* ===== numberbox.css ==================================================
michael@0 6 == Styles used by the XUL textbox type="number" element.
michael@0 7 ======================================================================= */
michael@0 8
michael@0 9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
michael@0 10 @namespace html url("http://www.w3.org/1999/xhtml");
michael@0 11
michael@0 12 textbox[type="number"] {
michael@0 13 -moz-appearance: none;
michael@0 14 padding: 0 !important;
michael@0 15 border: none;
michael@0 16 cursor: default;
michael@0 17 background-color: transparent;
michael@0 18 }
michael@0 19
michael@0 20 html|*.numberbox-input {
michael@0 21 text-align: right;
michael@0 22 }
michael@0 23
michael@0 24 .numberbox-input-box {
michael@0 25 -moz-box-align: center;
michael@0 26 -moz-appearance: spinner-textfield;
michael@0 27 margin-right: -1px;
michael@0 28 border: 2px solid;
michael@0 29 -moz-border-top-colors: ThreeDShadow ThreeDDarkShadow;
michael@0 30 -moz-border-right-colors: ThreeDHighlight ThreeDLightShadow;
michael@0 31 -moz-border-bottom-colors: ThreeDHighlight ThreeDLightShadow;
michael@0 32 -moz-border-left-colors: ThreeDShadow ThreeDDarkShadow;
michael@0 33 padding: 3px 4px;
michael@0 34 }
michael@0 35
michael@0 36 textbox[hidespinbuttons="true"] > .numberbox-input-box {
michael@0 37 -moz-appearance: textfield;
michael@0 38 }

mercurial