fix: escaped regex (#33)

Co-authored-by: Andreas <35840154+andreasgrafen@users.noreply.github.com>
catppuccin · Oct 12, 2022 · 8700d44 · 8700d44
1 parent 35e41f3
commit 8700d44
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/catppuccin.user.css b/catppuccin.user.css
@@ -11,7 +11,7 @@
 @var checkbox blueaccent "Blue Accent" 0
 @var checkbox usefont "Use Inter font" 0
 ==/UserStyle== */
-@-moz-document regexp("https://(gists\.)*github.com(?!/marketplace).*") {
+@-moz-document regexp("https://(gists\\.)*github.com(?!/marketplace).*") {
   if (theme=="Latte") {
         $type = light