From 11673e47e204657653cf65f70321c7aa1796c1da Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Mon, 15 May 2023 21:06:39 -0700
Subject: [PATCH] button margins

---
 _layouts/default.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/default.html b/_layouts/default.html
index 35244ea00..e9f85e8c3 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -54,7 +54,7 @@
       }
       .btn + .btn {
         margin-top: 0;
-        margin-left: 1rem;
+        margin-left: 0.75rem;
       }
     </style>
   </head>