From 11b70a6da847dc6e55038638f282f5af5d08ead1 Mon Sep 17 00:00:00 2001 From: Bradlee Speice Date: Sat, 22 Apr 2023 03:26:57 +0000 Subject: [PATCH] fix font sizing --- pages/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/style.css b/pages/style.css index 6da3c5e..5ea00e1 100644 --- a/pages/style.css +++ b/pages/style.css @@ -57,7 +57,7 @@ pre { code { font-family: "JetBrains Mono", monospace; - font-size: 14pt; + font-size: 13pt; background-color: var(--color-highlight); }