fix(monospace): do not use the same font for dist-git

Signed-off-by: Matej Focko <me@mfocko.xyz>
This commit is contained in:
Matej Focko 2025-02-07 10:55:15 +01:00
parent 4f7f5f8a90
commit f98deba27e
Signed by: mfocko
SSH key fingerprint: SHA256:icm0fIOSJUpy5+1x23sfr+hLtF9UhY8VpMC7H4WFJP8

View file

@ -2,7 +2,7 @@
@name Default monospace font
@namespace git.mfocko.xyz/mfocko/usercss
@updateURL https://git.mfocko.xyz/mfocko/usercss/raw/branch/main/monospace.user.css
@version 1.16.2
@version 1.16.3
@description Replace default monospace font on majority of websites.
@author mfocko <me@mfocko.xyz>
@preprocessor stylus
@ -58,7 +58,7 @@ domain("en.cppreference.com"),
domain("sentry.io"),
domain("docs.microsoft.com"),
domain("packit.dev"),
regexp("https://.*\\.fedoraproject.org/.*"),
regexp("^https://(?!src).*\\.fedoraproject.org/.*"),
regexp("https://(.*)\\.github\\.io/.*"),
domain("cppquiz.org"),
domain("sprunge.us"),