From a69851d1bfc23fa3c4a4acf52d364b4fca55b8b0 Mon Sep 17 00:00:00 2001
From: Isaiah Odhner <isaiahodhner@gmail.com>
Date: Sun, 16 Apr 2023 20:33:29 -0400
Subject: [PATCH] Let menu buttons vary in width

---
 paint.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/paint.css b/paint.css
index dd722d3..3c19794 100644
--- a/paint.css
+++ b/paint.css
@@ -138,8 +138,8 @@ Button {
     height: 3;
 }
 .menu_bar Button {
-    /* This seems to be the only way to get the button to shrink? */
-    max-width: 8;
+    width: auto;
+    min-width: 0;
 }
 .menu_popup Button {
     min-width: 20;