RCFilters: Reduce min-height for Watchlist

[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.less

diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
index ca9b252..11972de 100644 (file)
--- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
+++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
@@ -5,7 +5,7 @@
 @rcfilters-spinner-size: 12px;
 @rcfilters-head-min-height: 210px;
 @rcfilters-head-margin-bottom: 20px;
-@rcfilters-wl-head-min-height: 300px;
+@rcfilters-wl-head-min-height: 270px;
 
 // Corrections for the standard special page
 .client-js {
@@ -28,6 +28,8 @@
                padding-left: 0.5em;
 
                &:not( .mw-recentchanges-toplinks-collapsed ) {
+                       margin-top: -1px; // Make up for `border` to prevent link movement
+                       margin-left: -1px;
                        margin-bottom: 0.5em;
                        border: 1px solid @colorGray12; // Same as the legend
                        padding: 0 0.5em 0.5em 0.5em;
@@ -134,6 +136,8 @@
                display: none;
        }
 
+       // Why does rcfilters have a copy of this?
+       // TODO: Remove per T195256.
        #jump-to-nav {
                margin-top: -0.5em;
                margin-bottom: 0.5em;