From 260725618e8bc2a5919ec0e44253aba3c6dfa1aa Mon Sep 17 00:00:00 2001
From: Jack Phoenix <jack@countervandalism.net>
Date: Thu, 14 Sep 2017 00:48:30 +0300
Subject: [PATCH] Fix IE10/11 bug with the fixed header

Apparently not defining the height property makes everything just plain
messed up, and to fix things, all you need is the height property that has
a value (other than "auto") of some kind.

Bug: T173769
Change-Id: Ie8c86e01c77b3f5de11c1bd7c6bf491c8ef0fb26
---
 resources/screen-desktop.less | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/resources/screen-desktop.less b/resources/screen-desktop.less
index 35c0eae..a056e3e 100644
--- a/resources/screen-desktop.less
+++ b/resources/screen-desktop.less
@@ -21,6 +21,12 @@
 /* Header */
 
 #mw-header-container {
+	/* Stupid IE10+ bug requires defining the height property for this to work
+	 * the way it is intended; without doing that this'll break horribly under
+	 * IE10 and IE11.
+	 * @see https://phabricator.wikimedia.org/T173769
+	 */
+	height: 0;
 	position: fixed;
 	z-index: 100;
 	top: 0;