TheDJ has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/384129 )
Change subject: Fix margin of #jump-to-nav
......................................................................
Fix margin of #jump-to-nav
The top margin is a correction for the bottom margin.
Follow-up to: Id58972b
Bug: T176444
Change-Id: Icfedfa1ede49de96210b8662a1886ab52c78b006
---
M resources/src/mediawiki.skinning/interface.css
1 file changed, 1 insertion(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/29/384129/1
diff --git a/resources/src/mediawiki.skinning/interface.css
b/resources/src/mediawiki.skinning/interface.css
index 916c463..bf92086 100644
--- a/resources/src/mediawiki.skinning/interface.css
+++ b/resources/src/mediawiki.skinning/interface.css
@@ -84,6 +84,7 @@
#contentSub:empty ~ #jump-to-nav,
#contentSub2:empty ~ #jump-to-nav {
margin-top: 0;
+ margin-bottom: 0;
}
span.subpages {
--
To view, visit https://gerrit.wikimedia.org/r/384129
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Icfedfa1ede49de96210b8662a1886ab52c78b006
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: TheDJ <hartman.w...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
