From 322828d1396ae5b6753737336ab415eea73476ad Mon Sep 17 00:00:00 2001
From: Runxi Yu <me@runxiyu.org>
Date: Fri, 14 Feb 2025 17:13:53 +0800
Subject: [PATCH] style.css: Shrink font-size a bit for monospace components

---
 static/style.css | 2 +-

diff --git a/static/style.css b/static/style.css
index 37ba7410da15e13ffb3f624820f05f825d13b9a4..111c3d808b5b96ab09e6dbfc56f5addd13c86b72 100644
--- a/static/style.css
+++ b/static/style.css
@@ -38,7 +38,7 @@ body {
 	margin: 0;
 }
 html, code, pre {
-	font-size: 1rem; /* TODO: Not always correct */
+	font-size: 0.96rem; /* TODO: Not always correct */
 }
 
 /* Toggle table controls */

-- 
2.48.1