From c5062b837966a6d91e8486920a7b1730d939b710 Mon Sep 17 00:00:00 2001
From: Roland Hieber <rohieb@rohieb.name>
Date: Fri, 9 Jun 2023 10:20:23 +0200
Subject: [PATCH] css: keep <pre> at the default level

---
 local.css | 1 -
 1 file changed, 1 deletion(-)

diff --git a/local.css b/local.css
index 34a1a01..3d0c9a8 100644
--- a/local.css
+++ b/local.css
@@ -2,7 +2,6 @@ pre {
   background-color: #F5F5F5;
   border: 1px dashed blue;
   padding: 0.2em;
-  font-size: 80%;
 }
 
 code {
-- 
2.20.1