From 392717c1bccd775f1b9073461a81ce5f7c6fa927 Mon Sep 17 00:00:00 2001 From: Bob Mottram Date: Mon, 31 Aug 2020 12:51:31 +0100 Subject: [PATCH] Default theme font --- theme.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/theme.py b/theme.py index 8924232e..75b97923 100644 --- a/theme.py +++ b/theme.py @@ -223,15 +223,16 @@ def setThemeDefault(baseDir: str): name = 'default' removeTheme(baseDir) setThemeInConfig(baseDir, name) - themeParams = { - "dummyValue": "1234" - } bgParams = { "login": "jpg", "follow": "jpg", "options": "jpg", "search": "jpg" } + themeParams = { + "*font-family": "'JetBrainsMono-Regular'", + "*src": "url('./fonts/JetBrainsMono-Regular.woff2') format('woff2')" + } setThemeFromDict(baseDir, name, themeParams, bgParams)