@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: 295px;
+@rcfilters-head-min-height-collapsed: 130px;
+@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 {
+ .rcfilters-head {
+ min-height: @rcfilters-head-min-height-collapsed;
+ }
+
+ // On the watchlist, reserve a bit more
+ &.mw-special-Watchlist .rcfilters-head {
+ min-height: @rcfilters-wl-head-min-height-collapsed;
+ }
}
.mw-recentchanges-toplinks {
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;
// 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 )';
}
}