logo fix 3

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