Fix jump-to-nav element overlap on RCFilters

"Jump to: navigation, search" (English version of message) is visible on
Vector and Monobook when user tabs through the page.

Hiding #contentSub element in Ifcde40c66fbb caused margin to be removed
between title and "jump-to" element. Similar changes to #contentSub were
made in Id58972b4b7ca, but reverted in I84c890511113, because it caused
T178626. English Wikipedia acted with changing MediaWiki:Common.css file
(last two selectors in the file, at the time of writing this). That
customization makes this bug not appearing on enwiki.

Bug: T181154
Change-Id: I421cebec2acfd3ffe0cebd325f0fe2214dc5a8d7

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
index db439e3..413d45b 100644 (file)
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
@@ -132,6 +132,11 @@
                display: none;
        }
 
+       #jump-to-nav {
+               margin-top: -0.5em;
+               margin-bottom: 0.5em;
+       }
+
        // Make the watchlist-details message display while loading, but make it not take up any
        // space. This makes the min-height trick work better.
        .watchlistDetails {