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)
commit29b9ee20207b887006f38c85464f6019dae85b69
treec1fc7eb6131bcdd85bdb13cda7285e061b3d475d
parent3c22942d408bab029a4b098d84f8b761ae58cae7
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