From 2eddcab05229a695a413420eb928db7190583ab6 Mon Sep 17 00:00:00 2001
From: BodgeMaster <>
Date: Tue, 9 Jan 2024 08:42:58 +0100
Subject: [PATCH] style: adjust font size of terminal sections

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

diff --git a/html_resources/style.css b/html_resources/style.css
index a77198e..f76ea62 100644
--- a/html_resources/style.css
+++ b/html_resources/style.css
@@ -69,7 +69,7 @@ p.copyright {
 
 pre {
   width: 80ch;
-  font-size: 1em;
+  font-size: 0.9rem;
 }
 
 pre.terminal {