From 60ce9f8e8d166c15db5a844c61e8d16d577fed26 Mon Sep 17 00:00:00 2001
From: Joseph Montanaro <jfmonty2@gmail.com>
Date: Wed, 25 Oct 2023 14:49:39 -0700
Subject: [PATCH] fix sizing of code elements in sidenotes

---
 static/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/style.css b/static/style.css
index fe370c8..e378bc7 100644
--- a/static/style.css
+++ b/static/style.css
@@ -78,7 +78,7 @@ code {
   background: #eee;
   border-radius: 0.2rem;
   font-family: Consolas, monospace;
-  font-size: 0.8rem;
+  font-size: 0.8em;
   padding: 0.05rem 0.2rem 0.1rem;
 }