From 9984ea56d3c3fc752c79f820846e7493b4bb682d Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 20 May 2021 19:01:35 +0100
Subject: [PATCH] firefox/stylus/wikimedia.org.css: Apply Mediawiki styling at
 the client side.

---
 firefox/stylus/wikimedia.org.css | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 firefox/stylus/wikimedia.org.css

diff --git a/firefox/stylus/wikimedia.org.css b/firefox/stylus/wikimedia.org.css
new file mode 100644
index 0000000..ee10996
--- /dev/null
+++ b/firefox/stylus/wikimedia.org.css
@@ -0,0 +1,14 @@
+/* -*-css-*- */
+/*@ domains: wikimedia.org, wikipedia.org, wiktionary.org, rationalwiki.org */
+html, body { font-family: serif; }
+.mw-body-content { font-size: 1em; }
+.mw-body h1, .mw-body-content h1,
+.mw-body-content h2,
+.mw-body-content h3,
+.mw-body-content h4,
+.mw-body-content h5,
+.mw-body-content h6 {
+	font-family: sans-serif;
+	font-weight: bold;
+}
+/*@END*/
-- 
2.11.0