From 1f6a8c02ee8a2e9f3abfa9c8ce117e387a3c174b Mon Sep 17 00:00:00 2001 From: Bob Mottram Date: Mon, 31 Aug 2020 13:17:25 +0100 Subject: [PATCH] Back to original default theme font --- theme.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/theme.py b/theme.py index 75b97923..9227aa99 100644 --- a/theme.py +++ b/theme.py @@ -230,8 +230,7 @@ def setThemeDefault(baseDir: str): "search": "jpg" } themeParams = { - "*font-family": "'JetBrainsMono-Regular'", - "*src": "url('./fonts/JetBrainsMono-Regular.woff2') format('woff2')" + "dummy": "1234" } setThemeFromDict(baseDir, name, themeParams, bgParams)