From 4f7f5f8a90fb79b70fe2459299ac0b3dee27585eac1d5830bd0b5c5ffa2b42d9 Mon Sep 17 00:00:00 2001
From: Matej Focko <me@mfocko.xyz>
Date: Fri, 10 Jan 2025 12:59:45 +0100
Subject: [PATCH] feat(monospace): format also GRAPP
Signed-off-by: Matej Focko <me@mfocko.xyz>
---
monospace.user.css | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/monospace.user.css b/monospace.user.css
index 5f62d19..608fe77 100644
--- a/monospace.user.css
+++ b/monospace.user.css
@@ -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.1
+@version 1.16.2
@description Replace default monospace font on majority of websites.
@author mfocko <me@mfocko.xyz>
@preprocessor stylus
@@ -324,3 +324,10 @@ domain("dashboard.stg.packit.dev") {
font-feature-settings: font-features;
}
}
+
+@-moz-document domain("grapp.spravazeleznic.cz") {
+ * {
+ font-family: monospace-font !important;
+ font-feature-settings: font-features;
+ }
+}