toolkit/themes/faststripe/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 /* ::::: tabs ::::: */
michael@0 12
michael@0 13 .tabs-left,
michael@0 14 .tabs-right {
michael@0 15 border-bottom: 1px solid #555555;
michael@0 16 }
michael@0 17
michael@0 18 /* ::::: tabpanels ::::: */
michael@0 19
michael@0 20 tabpanels {
michael@0 21 border-right: 1px solid #555555;
michael@0 22 border-bottom: 1px solid #555555;
michael@0 23 border-left: 1px solid #555555;
michael@0 24 padding: 8px;
michael@0 25 background-color: -moz-Dialog;
michael@0 26 color: -moz-DialogText;
michael@0 27 }
michael@0 28
michael@0 29 /* ::::: tab ::::: */
michael@0 30
michael@0 31 tab
michael@0 32 {
michael@0 33 margin-top: 2px;
michael@0 34 border-top: 1px solid #555555;
michael@0 35 border-right: 1px solid #555555;
michael@0 36 border-left: 1px solid #555555;
michael@0 37 border-bottom: 1px solid #555555;
michael@0 38 border-top-left-radius: 2px;
michael@0 39 border-top-right-radius: 2px;
michael@0 40 padding: 1px 4px 2px 4px;
michael@0 41 background-color: -moz-Dialog;
michael@0 42 color: -moz-DialogText;
michael@0 43 }
michael@0 44
michael@0 45 tab:-moz-locale-dir(rtl) {
michael@0 46 border-bottom-left-radius: 1px;
michael@0 47 border-bottom-right-radius: 0px;
michael@0 48 }
michael@0 49
michael@0 50 .tab-text {
michael@0 51 margin: 0 !important;
michael@0 52 }
michael@0 53
michael@0 54 tab[selected="true"] {
michael@0 55 margin-top: 0;
michael@0 56 border-bottom-color: transparent;
michael@0 57 padding: 1px 6px 4px 6px;
michael@0 58 }
michael@0 59
michael@0 60 tab:focus > .tab-middle {
michael@0 61 /* Don't specify the outline-color, we should always use initial value. */
michael@0 62 outline: 1px dotted;
michael@0 63 }
michael@0 64
michael@0 65 tab[beforeselected="true"]:not(:-moz-locale-dir(rtl)),
michael@0 66 tab[selected="true"]:-moz-locale-dir(rtl) + tab {
michael@0 67 border-right: none;
michael@0 68 border-top-right-radius: 0;
michael@0 69 }
michael@0 70
michael@0 71 tab[selected="true"]:not(:-moz-locale-dir(rtl)) + tab,
michael@0 72 tab[beforeselected="true"]:-moz-locale-dir(rtl) {
michael@0 73 border-left: none;
michael@0 74 border-top-left-radius: 0;
michael@0 75 }
michael@0 76
michael@0 77 tab:first-of-type[selected="true"] {
michael@0 78 padding-right: 5px;
michael@0 79 padding-left: 5px;
michael@0 80 }
michael@0 81
michael@0 82 /* ::::: tab-bottom ::::::::::
michael@0 83 :: Tabs that are attached to the bottom of a panel, but not necessarily
michael@0 84 :: a tabpanels.
michael@0 85 ::::: */
michael@0 86
michael@0 87 .tab-bottom {
michael@0 88 margin-top: 0;
michael@0 89 margin-bottom: 2px;
michael@0 90 border-top: 1px solid;
michael@0 91 border-bottom: 1px solid #555555;
michael@0 92 border-top-left-radius: 0;
michael@0 93 border-top-right-radius: 0;
michael@0 94 border-bottom-right-radius: 2px;
michael@0 95 border-bottom-left-radius: 2px;
michael@0 96 padding: 2px 4px 1px 4px;
michael@0 97 }
michael@0 98
michael@0 99 .tab-bottom[selected="true"] {
michael@0 100 margin-bottom: 0;
michael@0 101 -moz-border-top-colors: -moz-Dialog;
michael@0 102 padding: 4px 6px 1px 6px;
michael@0 103 }
michael@0 104
michael@0 105 .tab-bottom[beforeselected="true"]:not(:-moz-locale-dir(rtl)),
michael@0 106 .tab-bottom[selected="true"]:-moz-locale-dir(rtl) + .tab-bottom {
michael@0 107 border-bottom-right-radius: 0;
michael@0 108 }
michael@0 109
michael@0 110 .tab-bottom[selected="true"]:not(:-moz-locale-dir(rtl)) + .tab-bottom,
michael@0 111 .tab-bottom[beforeselected="true"]:-moz-locale-dir(rtl) {
michael@0 112 border-bottom-left-radius: 0;
michael@0 113 }
michael@0 114
michael@0 115 /* ::::: tabs-bottom ::::: */
michael@0 116
michael@0 117 .tabs-bottom > .tabs-left,
michael@0 118 .tabs-bottom > .tabs-right {
michael@0 119 border-top: 1px solid ThreeDShadow;
michael@0 120 border-bottom: none;
michael@0 121 }
michael@0 122

mercurial