From 4aff7fd386e5ebe7b29d395454910a74cce0f0c0 Mon Sep 17 00:00:00 2001 From: bonno Date: Mon, 12 Feb 2024 10:44:12 +0700 Subject: [PATCH] remove unused ibm-plex-mono font --- app/src/app.html | 2 +- app/static/global.css | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/app/src/app.html b/app/src/app.html index 329144a..5bfa3ec 100644 --- a/app/src/app.html +++ b/app/src/app.html @@ -10,7 +10,7 @@ diff --git a/app/static/global.css b/app/static/global.css index 1dd8700..902e3e2 100644 --- a/app/static/global.css +++ b/app/static/global.css @@ -13,7 +13,6 @@ --font-family-sans: Inter; --font-family-serif: PT Serif; - --font-family-mono: IMB Plex Mono; --font-size-0: 12px; --font-size-1: 14px;