diff --git a/src/browser/base/content/zen-styles/zen-tabs/vertical-tabs.css b/src/browser/base/content/zen-styles/zen-tabs/vertical-tabs.css index e77bba60c..288b7d524 100644 --- a/src/browser/base/content/zen-styles/zen-tabs/vertical-tabs.css +++ b/src/browser/base/content/zen-styles/zen-tabs/vertical-tabs.css @@ -76,6 +76,9 @@ @media (-moz-platform: macos) { --zen-min-toolbox-padding: .52rem; } + @media (-moz-platform: linux) { + --zen-min-toolbox-padding: .35rem; + } --zen-toolbox-padding: max(var(--zen-min-toolbox-padding), calc(var(--zen-element-separation) / 1.5)); } diff --git a/src/browser/base/zen-components/ZenPinnedTabManager.mjs b/src/browser/base/zen-components/ZenPinnedTabManager.mjs index 78b995e42..4834aead4 100644 --- a/src/browser/base/zen-components/ZenPinnedTabManager.mjs +++ b/src/browser/base/zen-components/ZenPinnedTabManager.mjs @@ -767,13 +767,13 @@ const separation = 8; const middleY = targetTab.screenY + rect.height / 2; const indicator = this.dragIndicator; - let top=0; + let top = 0; if (event.screenY > middleY) { top = rect.top + rect.height + 'px'; } else { top = rect.top + 'px'; } - indicator.style.setProperty('--indicator-left', rect.left + (separation/2) + 'px'); + indicator.style.setProperty('--indicator-left', rect.left + separation / 2 + 'px'); indicator.style.setProperty('--indicator-width', rect.width - separation + 'px'); indicator.style.top = top; } else {