firefox/stylus/wikimedia.org.css: Apply Mediawiki styling at the client side.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 20 May 2021 18:01:35 +0000 (19:01 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 20 May 2021 18:01:35 +0000 (19:01 +0100)
firefox/stylus/wikimedia.org.css [new file with mode: 0644]

diff --git a/firefox/stylus/wikimedia.org.css b/firefox/stylus/wikimedia.org.css
new file mode 100644 (file)
index 0000000..ee10996
--- /dev/null
@@ -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*/