From 22fa921cd8b89a74c9bcbf4788368abd9014a2c4 Mon Sep 17 00:00:00 2001
From: Gerhard Gonter <ggonter@gmail.com>
Date: Wed, 1 May 2019 22:34:24 +0200
Subject: [PATCH] disable de.wikipedia.org workaround
---
userContent.css | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/userContent.css b/userContent.css
index 2ce5475..270b27a 100644
--- a/userContent.css
+++ b/userContent.css
@@ -117,7 +117,7 @@
a:hover {color: #0000FF !important; text-decoration: none; font-weight: bold}
}
-@-moz-document domain(de.wikipedia.org) {
+@-moz-document domain(notused.de.wikipedia.org) {
.mw-parser-output div, .mw-parser-output div::selection,
.mw-parser-output p, .mw-parser-output p::selection,
.mw-parser-output li, .mw-parser-output li::selection, .mw-parser-output ul::selection,
--
GitLab