From 2aed35c6a972f8869b8098a66d4866cb77cef7c1 Mon Sep 17 00:00:00 2001 From: networkException Date: Fri, 4 Feb 2022 18:45:38 +0100 Subject: [PATCH] Style: Prefer JetBrainsMono Nerd Font over JetBrains Mono and monospace --- public/style/index.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/public/style/index.css b/public/style/index.css index 8fce387..1319fab 100644 --- a/public/style/index.css +++ b/public/style/index.css @@ -6,7 +6,7 @@ body { background: #292D3E; - font-family: 'JetBrains Mono', monospace; + font-family: 'JetBrainsMono Nerd Font', 'JetBrains Mono', monospace; font-size: 1.2rem; }