@import 'mediawiki.mixins';
.mw-rcfilters-ui-filterMenuOptionWidget {
- padding: 0 0.5em;
- .box-sizing( border-box );
-
- &:not( :last-child ) {
- border-bottom: solid 1px #eaecf0; // Base 80 AAA
- }
-
- &:hover {
- background-color: #fbfbfb;
- }
-
- .mw-rcfilters-ui-table {
- padding-top: 0.5em;
- }
-
- &-muted {
- background-color: #f8f9fa; // Base90 AAA
- .mw-rcfilters-ui-filterMenuOptionWidget-label-title,
- .mw-rcfilters-ui-filterMenuOptionWidget-label-desc {
- color: #54595d; // Base20 AAA
+ &.oo-ui-flaggedElement-muted {
+ &:not( .oo-ui-optionWidget-selected ) {
+ // Namespaces are muted 'the other way around' when they
+ // are also inverted, so if they are also selected, we
+ // should make sure the selected background is shown rather
+ // than the muted one
+ background-color: #f8f9fa; // Base90 AAA
}
- }
- &.oo-ui-optionWidget-selected {
- background-color: #eaf3ff; // Accent90 AAA
- }
-
- &-label {
- &-title {
- font-weight: bold;
- font-size: 1.15em;
- color: #222;
- }
- &-desc {
- color: #464a4f;
- white-space: normal;
- }
- }
-
- &-filterCheckbox {
- .oo-ui-fieldLayout.oo-ui-fieldLayout-align-inline {
- // Override margin-top and -bottom rules from FieldLayout
- margin: 0 !important; /* stylelint-disable-line declaration-no-important */
+ .mw-rcfilters-ui-itemMenuOptionWidget-label-title,
+ .mw-rcfilters-ui-itemMenuOptionWidget-label-desc {
+ color: #54595d; // Base20 AAA
}
- .oo-ui-checkboxInputWidget {
- // Workaround for IE11 rendering issues. T162098
- display: block;
+ &.oo-ui-optionWidget-highlighted {
+ // Copying over styles from OOUI, since it must
+ // override our 'muted' state
+ background-color: #eaecf0;
+ color: #000;
}
}
- &-highlightButton {
- width: 4em;
- padding-left: 1em;
- }
}