@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 {
// 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 )';
}
}