toolkit/themes/linux/global/tabbox.css

Wed, 31 Dec 2014 06:09:35 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 06:09:35 +0100
changeset 0
6474c204b198
permissions
-rw-r--r--

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

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

mercurial