fix: adjust margins and padding for compact mode and vertical tabs styles

This commit is contained in:
mr. M
2025-04-02 00:08:00 +02:00
parent b40ab8a551
commit ce8013124b
2 changed files with 13 additions and 2 deletions

View File

@@ -33,6 +33,14 @@
display: none !important; display: none !important;
} }
&:not([zen-window-buttons-reversed='true']) #zen-appcontent-navbar-container #nav-bar {
margin-left: var(--zen-element-separation) !important;
}
&[zen-window-buttons-reversed='true'] #zen-appcontent-navbar-container #nav-bar {
margin-right: var(--zen-element-separation) !important;
}
#navigator-toolbox { #navigator-toolbox {
--zen-toolbox-max-width: 64px !important; --zen-toolbox-max-width: 64px !important;
--zen-compact-float: var(--zen-element-separation); --zen-compact-float: var(--zen-element-separation);
@@ -75,10 +83,12 @@
* we need to adjust the top-padding of the toolbox to account for the * we need to adjust the top-padding of the toolbox to account for the
* extra toolbar height. */ * extra toolbar height. */
@media not -moz-pref('zen.view.compact.hide-toolbar') { @media not -moz-pref('zen.view.compact.hide-toolbar') {
&:not([zen-single-toolbar='true']) #navigator-toolbox:not([animate='true']) { &:not([zen-single-toolbar='true']) {
#navigator-toolbox:not([animate='true']) {
margin-top: var(--zen-toolbar-height) !important; margin-top: var(--zen-toolbar-height) !important;
} }
} }
}
&[zen-right-side='true'] { &[zen-right-side='true'] {
& #navigator-toolbox { & #navigator-toolbox {

View File

@@ -636,6 +636,7 @@
#navigator-toolbox:not([zen-sidebar-expanded='true']) { #navigator-toolbox:not([zen-sidebar-expanded='true']) {
max-width: var(--zen-toolbox-max-width) !important; max-width: var(--zen-toolbox-max-width) !important;
min-width: var(--zen-toolbox-max-width) !important; min-width: var(--zen-toolbox-max-width) !important;
padding-bottom: var(--zen-toolbox-padding);
& .zen-current-workspace-indicator-name, & .zen-current-workspace-indicator-name,
& .toolbarbutton-text { & .toolbarbutton-text {
display: none !important; display: none !important;