Merge "maintenance: Document secondary purpose of --server"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.FilterMenuOptionWidget.less
1 @import 'mediawiki.mixins';
2 @import 'mediawiki.ui/variables';
3 @import 'mw.rcfilters.variables';
4
5 .mw-rcfilters-ui-filterMenuOptionWidget {
6 .mw-rcfilters-ui-filterMenuSectionOptionWidget ~ & {
7 padding-left: 12 / @font-size-system-ui / @font-size-vector;
8 }
9
10 &.oo-ui-flaggedElement-muted {
11 &:not( .oo-ui-optionWidget-selected ) {
12 // Namespaces are muted 'the other way around' when they
13 // are also inverted, so if they are also selected, we
14 // should make sure the selected background is shown rather
15 // than the muted one
16 background-color: @colorGray15;
17 }
18
19 .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
20 .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
21 color: @colorGray5;
22 }
23
24 &.oo-ui-optionWidget-highlighted {
25 // Copying over styles from OOUI, since it must
26 // override our 'muted' state
27 background-color: @colorGray14;
28 color: @colorGray1;
29 }
30 }
31
32 // Override OOUI's pretty specific
33 // `.oo-ui-fieldLayout.oo-ui-labelElement.oo-ui-fieldLayout-align-inline > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header`
34 // selector
35 .mw-rcfilters-ui-itemMenuOptionWidget-itemCheckbox > .oo-ui-fieldLayout > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header {
36 padding-top: 0;
37 padding-bottom: 0;
38 padding-left: 12 / @font-size-system-ui / @font-size-vector;
39 }
40 }