From 53ab34b77019ef8a8e3c5b7149feb2a0c25ac932 Mon Sep 17 00:00:00 2001
From: Jon Sterling <jon@jonmsterling.com>
Date: Sun, 18 Feb 2024 10:54:39 +0000
Subject: [PATCH] remove dead code

https://todo.sr.ht/~jonsterling/forester/42
---
 style.css | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/style.css b/style.css
index 669ed1f..7144b1e 100644
--- a/style.css
+++ b/style.css
@@ -319,10 +319,6 @@ nav#toc li {
   font-weight: bolder;
 }
 
-.katex {
-  font-size: 1.2em;
-}
-
 .block {
   border-radius: var(--radius)
 }
-- 
2.51.2