From 2672f8d86d76402b4bc71607a49ef1cbc1658da6 Mon Sep 17 00:00:00 2001 From: Kevin D Date: Wed, 23 Sep 2026 12:56:58 -0700 Subject: [PATCH] logo fix 3 --- banner.js | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/banner.js b/banner.js index aef0950..a24dbdd 100644 --- a/banner.js +++ b/banner.js @@ -120,7 +120,7 @@ // filename inject-banner.sh replaces for the top-bar logo; keep these two // in sync if that ever changes again. const LOGO_IMG_MATCH = 'icon-transparent'; - const LOGO_MAX_SIZE = '2em'; // grow the icon now that the text next to it is gone + const LOGO_MAX_SIZE = '2.75em'; // grow the icon now that the text next to it is gone function hideLogoText() { const logoImg = document.querySelector('img[src*="' + LOGO_IMG_MATCH + '"]'); @@ -144,6 +144,12 @@ node.style.display = 'none'; } }); + + // The button was sized (min-width, padding) to fit the icon + label + // together; with the label gone, shrink it to fit just the icon instead + // of leaving the label's dead space behind. + container.style.setProperty('min-width', '0', 'important'); + container.style.setProperty('width', 'fit-content', 'important'); } function isHomePage() {