Fix margin of #jump-to-nav
authorDerk-Jan Hartman <hartman.wiki@gmail.com>
Fri, 13 Oct 2017 20:34:00 +0000 (22:34 +0200)
committerTheDJ <hartman.wiki@gmail.com>
Fri, 13 Oct 2017 20:38:54 +0000 (20:38 +0000)
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

index 916c463..bf92086 100644 (file)
@@ -84,6 +84,7 @@ textarea {
 #contentSub:empty ~ #jump-to-nav,
 #contentSub2:empty ~ #jump-to-nav {
        margin-top: 0;
+       margin-bottom: 0;
 }
 
 span.subpages {