1 @import 'mediawiki.mixins.animation';
2 @import 'mediawiki.ui/variables';
3 @import 'mw.rcfilters.mixins';
5 @rcfilters-spinner-size: 12px;
6 @rcfilters-head-min-height: 210px;
7 @rcfilters-head-margin-bottom: 20px;
8 @rcfilters-wl-head-min-height: 295px;
9 @rcfilters-head-min-height-collapsed: 130px;
10 @rcfilters-wl-head-min-height-collapsed: 220px;
12 // Corrections for the standard special page
18 // Reserve space for the UI while it loads
20 min-height: @rcfilters-head-min-height;
21 margin-bottom: @rcfilters-head-margin-bottom;
24 // On the watchlist, reserve a bit more
25 .mw-special-Watchlist .rcfilters-head {
26 min-height: @rcfilters-wl-head-min-height;
29 .mw-rcfilters-collapsed {
31 min-height: @rcfilters-head-min-height-collapsed;
34 // On the watchlist, reserve a bit more
35 &.mw-special-Watchlist .rcfilters-head {
36 min-height: @rcfilters-wl-head-min-height-collapsed;
40 .mw-recentchanges-toplinks {
43 &:not( .mw-recentchanges-toplinks-collapsed ) {
44 margin-top: -1px; // Make up for `border` to prevent link movement
47 border: 1px solid @colorGray12; // Same as the legend
48 padding: 0 0.5em 0.5em 0.5em;
51 /* stylelint-disable declaration-no-important */
52 .oo-ui-buttonElement > .oo-ui-buttonElement-button {
53 padding-right: 1.2em !important;
55 > .oo-ui-indicatorElement-indicator {
57 width: 0.9375em !important;
60 /* stylelint-enable declaration-no-important */
63 body:not( .mw-rcfilters-ui-initialized ) {
64 .mw-recentchanges-toplinks.mw-recentchanges-toplinks-collapsed {
65 // Similar to the watchlist-details hack, we are going to make this float left
66 // while loading to prevent jumpiness in the min-height calculation
69 .mw-recentchanges-toplinks-content {
84 .mw-rcfilters-ui-highlights {
89 // Reserve space for the highlight circles
91 table.mw-enhanced-rc {
92 .result-circle-margin();
96 // Temporarily hide the empty results section while we load rcfilters.
97 .mw-changeslist-empty {
105 body.mw-rcfilters-ui-loading .mw-changeslist {
113 // Make sure the middle of the spinner is centered, rather than its left edge
114 margin-left: -3 * @rcfilters-spinner-size / 2;
117 & .rcfilters-spinner-bounce,
121 background-color: @colorGray7;
124 width: @rcfilters-spinner-size;
125 height: @rcfilters-spinner-size;
127 .animation( rcfiltersBouncedelay 1600ms ease-in-out -160ms infinite both );
132 .animation-delay( -330ms );
137 .animation-delay( 0s );
141 body:not( .mw-rcfilters-ui-initialized ) .rcfilters-spinner {
143 // When initializing, display the spinner on top of the area where the UI will appear
144 margin-top: -( @rcfilters-head-min-height + @rcfilters-head-margin-bottom ) / 1.5;
147 body.mw-rcfilters-ui-loading .rcfilters-spinner {
149 // When loading new results, display the spinner on top of the results area
150 margin-top: -( @rcfilters-head-min-height + @rcfilters-head-margin-bottom ) / 8;
154 form#mw-watchlist-resetbutton {
158 // Why does rcfilters have a copy of this?
159 // TODO: Remove per T195256.
162 margin-bottom: 0.5em;
165 // Make the watchlist-details message display while loading, but make it not take up any
166 // space. This makes the min-height trick work better.
169 // The 20em should match the min-width we are setting up
170 // for the .mw-rcfilters-ui-watchlistTopSectionWidget-editWatchlistButton
171 // in mw.rcfilters.ui.WatchlistTopSectionWidget.less
172 width: ~'calc( 100% - 20em )';
176 .mw-rcfilters-staticfilters-selected {
180 @-webkit-keyframes rcfiltersBouncedelay {
184 -webkit-transform: scale( 0.625 );
187 20% { // equals 320ms
189 -webkit-transform: scale( 1 );
193 @-moz-keyframes rcfiltersBouncedelay {
197 -moz-transform: scale( 0.625 );
202 -moz-transform: scale( 1 );
206 @keyframes rcfiltersBouncedelay {
210 transform: scale( 0.625 );
213 20% { // equals 320ms
215 transform: scale( 1 );