From a72aa58c92974abd39f0b6d94fd93de6ca8f9f02 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Sun, 17 Oct 2021 13:47:41 -0400
Subject: [PATCH] Adjust font-size for `code` tags

---
 src/css/common.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/css/common.css b/src/css/common.css
index 4f83c7a83..b0c9e0c24 100644
--- a/src/css/common.css
+++ b/src/css/common.css
@@ -57,6 +57,7 @@ a {
 code, .code {
     background-color: var(--button-surface);
     font-family: monospace;
+    font-size: smaller;
     padding: 4px;
     }
 hr {