toolkit/themes/linux/global/tabbox.css@97036ab72558
toolkit/themes/linux/global/tabbox.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.
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
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
5 /* ===== tabbox.css =================================================
6 == Styles used by XUL tab-related elements.
7 ======================================================================= */
9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
12 /* ::::: tabs ::::: */
14 tabs {
15 position: relative;
16 z-index: 0;
17 }
19 /* ::::: tabpanels ::::: */
21 tabpanels {
22 -moz-appearance: tabpanels;
23 border: 2px solid;
24 -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;
25 -moz-border-bottom-colors: ThreeDDarkShadow ThreeDShadow;
26 -moz-border-left-colors: ThreeDHighlight ThreeDLightShadow;
27 -moz-border-top-colors: ThreeDHighlight ThreeDLightShadow;
28 padding: 8px;
29 background-color: -moz-Dialog;
30 color: -moz-DialogText;
31 }
33 /* ::::: tab ::::: */
35 tab {
36 position: relative;
37 -moz-appearance: tab;
38 margin-top: 2px;
39 border: 2px solid;
40 border-bottom: none;
41 -moz-border-top-colors: ThreeDHighlight ThreeDLightShadow;
42 -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;
43 -moz-border-left-colors: ThreeDHighlight ThreeDLightShadow;
44 border-top-left-radius: 2px;
45 border-top-right-radius: 2px;
46 padding: 3px 4px;
47 background-color: -moz-Dialog;
48 color: -moz-DialogText;
49 }
51 tab[selected="true"] {
52 z-index: 1;
53 margin-top: 0;
54 margin-bottom: -2px;
55 border-bottom-left-radius: 3px;
56 border-bottom-right-radius: 3px;
57 padding-top: 4px;
58 padding-bottom: 6px;
59 }
61 tab + tab {
62 -moz-margin-start: -2px;
63 }
65 .tab-text {
66 margin: 0 !important;
67 }
69 /* ::::: tab-bottom ::::::::::
70 :: Tabs that are attached to the bottom of a panel, but not necessarily
71 :: a tabpanels.
72 ::::: */
74 .tab-bottom {
75 margin-top: 0;
76 margin-bottom: 2px;
77 border-top: none;
78 border-bottom: 2px solid;
79 -moz-border-bottom-colors: ThreeDDarkShadow ThreeDShadow;
80 border-top-left-radius: 0;
81 border-top-right-radius: 0;
82 border-bottom-right-radius: 2px;
83 border-bottom-left-radius: 2px;
84 }
86 .tab-bottom[selected="true"] {
87 margin-bottom: 0;
88 margin-top: -2px;
89 padding-top: 6px;
90 padding-bottom: 4px;
91 }
