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;