From: Derk-Jan Hartman <hartman.wiki@gmail.com>
Date: Fri, 13 Oct 2017 20:34:00 +0000 (+0200)
Subject: Fix margin of #jump-to-nav
X-Git-Tag: 1.31.0-rc.0~1777
X-Git-Url: http://git.cyclocoop.org/url?a=commitdiff_plain;h=29b9ee20207b887006f38c85464f6019dae85b69;p=lhc%2Fweb%2Fwiklou.git

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
---

diff --git a/resources/src/mediawiki.skinning/interface.css b/resources/src/mediawiki.skinning/interface.css
index 916c463910..bf92086f6f 100644
--- a/resources/src/mediawiki.skinning/interface.css
+++ b/resources/src/mediawiki.skinning/interface.css
@@ -84,6 +84,7 @@ textarea {
 #contentSub:empty ~ #jump-to-nav,
 #contentSub2:empty ~ #jump-to-nav {
 	margin-top: 0;
+	margin-bottom: 0;
 }
 
 span.subpages {