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() {