diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 14:29:10 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-28 14:29:10 +0000 |
commit | 2aa4a82499d4becd2284cdb482213d541b8804dd (patch) | |
tree | b80bf8bf13c3766139fbacc530efd0dd9d54394c /toolkit/themes/linux/global/tabbox.css | |
parent | Initial commit. (diff) | |
download | firefox-upstream.tar.xz firefox-upstream.zip |
Adding upstream version 86.0.1.upstream/86.0.1upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'toolkit/themes/linux/global/tabbox.css')
-rw-r--r-- | toolkit/themes/linux/global/tabbox.css | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/toolkit/themes/linux/global/tabbox.css b/toolkit/themes/linux/global/tabbox.css new file mode 100644 index 0000000000..b4acb2fd61 --- /dev/null +++ b/toolkit/themes/linux/global/tabbox.css @@ -0,0 +1,53 @@ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +/* ===== tabbox.css ================================================= + == Styles used by XUL tab-related elements. + ======================================================================= */ + +@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); + + +/* ::::: tabs ::::: */ + +tabs { + position: relative; + z-index: 0; +} + +/* ::::: tabpanels ::::: */ + +tabpanels { + appearance: auto; + -moz-default-appearance: tabpanels; + padding: 8px; + color: -moz-DialogText; +} + +/* ::::: tab ::::: */ + +tab { + position: relative; + appearance: auto; + -moz-default-appearance: tab; + margin-top: 2px; + padding: 3px 4px; + color: -moz-DialogText; +} + +tab[visuallyselected="true"] { + z-index: 1; + margin-top: 0; + margin-bottom: -2px; + padding-top: 4px; + padding-bottom: 6px; +} + +tab + tab { + margin-inline-start: -2px; +} + +.tab-text { + margin: 0 !important; +} |