From 4efa34eb99bee20f1bb50c2757c882633bd97ee6 Mon Sep 17 00:00:00 2001 From: Aminda Suomalainen Date: Thu, 30 May 2024 15:58:39 +0300 Subject: [PATCH] change-fonts.user.css: variables may be more effective if they are actually used --- web-browsers/usercss/change-fonts.user.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/web-browsers/usercss/change-fonts.user.css b/web-browsers/usercss/change-fonts.user.css index fc6bf59..ab4a774 100644 --- a/web-browsers/usercss/change-fonts.user.css +++ b/web-browsers/usercss/change-fonts.user.css @@ -2,7 +2,7 @@ @name Change Fonts @updateURL https://gitea.blesmrt.net/mikaela/gist/raw/branch/master/usercss/change-fonts.user.css @namespace eu.aminda -@version 2024.22.0 +@version 2024.22.1 @var select FontSet "Font Set" { "Serif": "Liberation Serif, Tinos, Times New Roman, serif", "Sans Serif": "Liberation Sans, Arimo, Arial, sans-serif" @@ -11,7 +11,7 @@ /* Either the Serif or Sans-Serif specified above. */ * { - font-family: FontSet !important; + font-family: var(FontSet) !important; } /* Code blocks preferably use monospace font, which is specified here then. */