toolkit/themes/osx/global/numberbox.css@97036ab72558 (annotated)
toolkit/themes/osx/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 | @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); |
| michael@0 | 6 | @namespace html url("http://www.w3.org/1999/xhtml"); |
| michael@0 | 7 | |
| michael@0 | 8 | textbox[type="number"] { |
| michael@0 | 9 | -moz-appearance: none; |
| michael@0 | 10 | -moz-box-align: center; |
| michael@0 | 11 | padding: 0 !important; |
| michael@0 | 12 | border: none; |
| michael@0 | 13 | background-color: transparent; |
| michael@0 | 14 | cursor: default; |
| michael@0 | 15 | } |
| michael@0 | 16 | |
| michael@0 | 17 | html|*.numberbox-input { |
| michael@0 | 18 | text-align: right; |
| michael@0 | 19 | padding: 0 1px !important; |
| michael@0 | 20 | } |
| michael@0 | 21 | |
| michael@0 | 22 | .numberbox-input-box { |
| michael@0 | 23 | -moz-appearance: textfield; |
| michael@0 | 24 | margin-right: 4px; |
| michael@0 | 25 | border: 3px solid; |
| michael@0 | 26 | -moz-border-top-colors: transparent #888888 #000000; |
| michael@0 | 27 | -moz-border-right-colors: transparent #FFFFFF #000000; |
| michael@0 | 28 | -moz-border-bottom-colors: transparent #FFFFFF #000000; |
| michael@0 | 29 | -moz-border-left-colors: transparent #888888 #000000; |
| michael@0 | 30 | border-top-right-radius: 2px; |
| michael@0 | 31 | border-bottom-left-radius: 2px; |
| michael@0 | 32 | background-color: -moz-Field; |
| michael@0 | 33 | } |
