From 04e317391c8640aee74c5a71a751bf522848ee0d Mon Sep 17 00:00:00 2001
From: Carl Worth <cworth@cworth.org>
Date: Sat, 6 Jun 2020 04:28:19 -0700
Subject: [PATCH] Style inline buttons for better appearance

By shrinking the font size within the button just a bit, the entire
button now fits within a line of text, (rather than the text of the
button being the same size as the surrounding text but the button
sticking way out both above and below).
---
 style.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css
index e71f222..98bc907 100644
--- a/style.css
+++ b/style.css
@@ -258,7 +258,8 @@ button {
 }
 
 button.inline {
-    font-size: 100%;
+    font-size: 72%;
+    font-weight: bold;
     width: auto;
 }
 
-- 
2.43.0