Merge "mw.widgets.TitleWidget: Don't mark optional fields as invalid when empty"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.less
index c6d8d17..390d873 100644 (file)
@@ -5,9 +5,9 @@
 @rcfilters-spinner-size: 12px;
 @rcfilters-head-min-height: 210px;
 @rcfilters-head-margin-bottom: 20px;
-@rcfilters-wl-head-min-height: 270px;
+@rcfilters-wl-head-min-height: 295px;
 @rcfilters-head-min-height-collapsed: 130px;
-@rcfilters-wl-head-min-height-collapsed: 200px;
+@rcfilters-wl-head-min-height-collapsed: 220px;
 
 // Corrections for the standard special page
 .client-js {
@@ -24,6 +24,7 @@
        // On the watchlist, reserve a bit more
        .mw-special-Watchlist .rcfilters-head {
                min-height: @rcfilters-wl-head-min-height;
+
        }
 
        .mw-rcfilters-collapsed {
                }
        }
 
+       .mw-rcfilters-ui-highlights {
+               display: none;
+       }
+
        .mw-changeslist {
                // Reserve space for the highlight circles
                ul,
        body:not( .mw-rcfilters-ui-initialized ) .rcfilters-spinner {
                display: block;
                // When initializing, display the spinner on top of the area where the UI will appear
-               margin-top: -( @rcfilters-head-min-height + @rcfilters-head-margin-bottom ) / 2;
+               margin-top: -( @rcfilters-head-min-height + @rcfilters-head-margin-bottom ) / 1.5;
        }
        body.mw-rcfilters-ui-loading .rcfilters-spinner {
                display: block;
                // When loading new results, display the spinner on top of the results area
-               margin-top: 2em;
+               margin-top: -( @rcfilters-head-min-height + @rcfilters-head-margin-bottom ) / 8;
        }
 
        #contentSub,
        // space. This makes the min-height trick work better.
        .watchlistDetails {
                float: left;
+               // The 20em should match the min-width we are setting up
+               // for the .mw-rcfilters-ui-watchlistTopSectionWidget-editWatchlistButton
+               // in mw.rcfilters.ui.WatchlistTopSectionWidget.less
+               width: ~'calc( 100% - 20em )';
        }
 }