Petar.petkovic has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/403203 )
Change subject: Fix jump-to-nav element overlap on RCFilters
......................................................................
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
---
M resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
1 file changed, 5 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/03/403203/1
diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
index db439e3..413d45b 100644
--- 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 {
--
To view, visit https://gerrit.wikimedia.org/r/403203
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I421cebec2acfd3ffe0cebd325f0fe2214dc5a8d7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Petar.petkovic <ppetko...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
