From 29b9ee20207b887006f38c85464f6019dae85b69 Mon Sep 17 00:00:00 2001
From: Derk-Jan Hartman <hartman.wiki@gmail.com>
Date: Fri, 13 Oct 2017 22:34:00 +0200
Subject: [PATCH] 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
---
 resources/src/mediawiki.skinning/interface.css | 1 +
 1 file changed, 1 insertion(+)

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