From 72c78e2ee88e28d73b5e8780778716b68e1f86f2 Mon Sep 17 00:00:00 2001 From: alstjr7375 Date: Wed, 16 Jun 2021 14:22:29 +0900 Subject: [PATCH] Fix: Tab Bar - Scroll button size increse #95 --- userChrome.css | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/userChrome.css b/userChrome.css index 8a94e88..54da386 100644 --- a/userChrome.css +++ b/userChrome.css @@ -166,6 +166,8 @@ :root:not([uidensity=touch]) #tabbrowser-arrowscrollbox { --scrollbtn-vertical-padding: 3px; + --scrollbtn-vertical-border: 2px; + --scrollbtn-border-radius: 7px; } #scrollbutton-up, #scrollbutton-down { @@ -173,6 +175,12 @@ /* https://github.com/mozilla/gecko-dev/blob/71b1259afd1cdaf41871ae675c2dadb967ea5b34/browser/themes/shared/toolbarbuttons.inc.css#L142 */ padding-top: var(--scrollbtn-vertical-padding, var(--toolbarbutton-inner-padding)) !important; padding-bottom: var(--scrollbtn-vertical-padding, var(--toolbarbutton-inner-padding)) !important; + + /* Original: 4px */ + border-top-width: var(--scrollbtn-vertical-border, 4px) !important; + border-bottom-width: var(--scrollbtn-vertical-border, 4px) !important; + /* Original: calc(var(--tab-border-radius) + 4px) = 8px */ + border-radius: var(--scrollbtn-border-radius, calc(var(--tab-border-radius) + 4px)) !important; } :root[tabsintitlebar]:not([uidensity=compact]) #toolbar-menubar[autohide="true"] {