From d58151dbb07a5d5dd7eaf6fc9f12566898823a46 Mon Sep 17 00:00:00 2001 From: Anirudh Oppiliappan Date: Thu, 22 Dec 2022 14:45:22 +0530 Subject: [PATCH] css: reduce pre font size --- static/style.css | 1 + 1 file changed, 1 insertion(+) diff --git a/static/style.css b/static/style.css index deca77d..b67f183 100644 --- a/static/style.css +++ b/static/style.css @@ -20,6 +20,7 @@ html { pre { font-family: var(--mono-font); + font-size: 0.8rem; } ::selection {