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 d4ce55d..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 {
@@ -136,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;