From a1789ddde42033f1b05cc4929491214ee6e79383 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 17 Dec 2015 09:15:42 +0100
Subject: Update to MediaWiki 1.26.0

---
 resources/src/oojs-ui-local.css | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 resources/src/oojs-ui-local.css

(limited to 'resources/src/oojs-ui-local.css')

diff --git a/resources/src/oojs-ui-local.css b/resources/src/oojs-ui-local.css
new file mode 100644
index 00000000..ab780fed
--- /dev/null
+++ b/resources/src/oojs-ui-local.css
@@ -0,0 +1,7 @@
+/* HACK: Set sane font-size for OOjs UI dialogs, in the most common case. This should be skin's
+   responsibility, but alas our skins tend to have the weirdest font-sizes on body. This shall be
+   removed when we make the MediaWiki skins bundled with tarball sane. (T91152) */
+body > .oo-ui-windowManager {
+	font-size: 12.8px;
+	font-size: 0.8rem;
+}
-- 
cgit v1.2.2