1 @import 'mw.rcfilters.mixins';
2 @import 'mw.rcfilters.variables';
4 .mw-rcfilters-ui-changesListWrapperWidget {
14 // Make more specific for the overrides
15 div.mw-rcfilters-ui-highlights {
16 body.mw-rcfilters-ui-initialized & {
17 display: inline-block;
22 display: inline-block;
23 .mw-changeslist-watchedseen & {
24 .mw-rcfilters-ui-changesListWrapperWidget.mw-rcfilters-ui-changesListWrapperWidget-highlighted & {
25 .mw-rcfilters-mixin-circle( @highlight-none, @result-circle-diameter, 0, true, @highlight-grey, true );
28 .mw-rcfilters-ui-changesListWrapperWidget:not( .mw-rcfilters-ui-changesListWrapperWidget-highlighted ) & {
29 .mw-rcfilters-mixin-circle( @highlight-none, @result-circle-diameter, 0, true, @highlight-bluedot, true );
33 .mw-changeslist-watchedunseen & {
34 .mw-rcfilters-ui-changesListWrapperWidget.mw-rcfilters-ui-changesListWrapperWidget-highlighted & {
35 .mw-rcfilters-mixin-circle( @highlight-grey, @result-circle-diameter, 0, true, @highlight-grey );
38 .mw-rcfilters-ui-changesListWrapperWidget:not( .mw-rcfilters-ui-changesListWrapperWidget-highlighted ) & {
39 .mw-rcfilters-mixin-circle( @highlight-bluedot, @result-circle-diameter, 0, true, @highlight-bluedot );
45 // Watchlist unseen highlighted fixes
46 // Seen (empty circle)
47 // There's no need to correct 'unseen' because that would be
48 // a filled colorful circle, which is the regular rendering
49 .mw-changeslist-watchedseen &-c1 {
50 .mw-rcfilters-mixin-circle( @highlight-c1, @result-circle-diameter, 0, true, @highlight-c1, true );
53 .mw-changeslist-watchedseen &-c2 {
54 .mw-rcfilters-mixin-circle( @highlight-c2, @result-circle-diameter, 0, true, @highlight-c2, true );
57 .mw-changeslist-watchedseen &-c3 {
58 .mw-rcfilters-mixin-circle( @highlight-c3, @result-circle-diameter, 0, true, @highlight-c3, true );
61 .mw-changeslist-watchedseen &-c4 {
62 .mw-rcfilters-mixin-circle( @highlight-c4, @result-circle-diameter, 0, true, @highlight-c4, true );
65 .mw-changeslist-watchedseen &-c5 {
66 .mw-rcfilters-mixin-circle( @highlight-c5, @result-circle-diameter, 0, true, @highlight-c5, true );
70 .mw-rcfilters-ui-changesListWrapperWidget & > div {
71 margin-right: @result-circle-margin;