]> scripts.mit.edu Git - autoinstallsdev/mediawiki.git/blob - resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuSectionOptionWidget.less
MediaWiki 1.30.2
[autoinstallsdev/mediawiki.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.FilterMenuSectionOptionWidget.less
1 @import 'mediawiki.mixins';
2
3 .mw-rcfilters-ui-filterMenuSectionOptionWidget {
4         background: #eaecf0;
5         padding-bottom: 0.7em;
6
7         &-header {
8                 padding: 0 0.75em;
9                 // Use a high specificity to override OOUI
10                 .oo-ui-optionWidget.oo-ui-labelElement &-title.oo-ui-labelElement-label {
11                         color: #54595d;
12                         .box-sizing( border-box );
13                         display: inline-block;
14                 }
15         }
16
17         &-whatsThisButton {
18                 margin-left: 1.5em;
19
20                 &.oo-ui-buttonElement > .oo-ui-buttonElement-button {
21                         font-weight: normal;
22                         border: 0; // Override OOUI `border` needed for frameless keyboard focus
23                         padding: 0;
24
25                         &:focus {
26                                 box-shadow: none;
27                                 outline: 0;
28                         }
29                 }
30
31                 &-popup-content {
32                         padding: 1em;
33
34                         &-header {
35                                 font-weight: bold;
36                                 margin-bottom: 1em;
37                         }
38
39                         &-link {
40                                 margin: 1em 0;
41                         }
42
43                         .oo-ui-buttonElement-frameless.oo-ui-labelElement > .oo-ui-buttonElement-button > .oo-ui-labelElement-label {
44                                 margin-left: 0;
45                         }
46                 }
47         }
48
49         &-active {
50                 .mw-rcfilters-ui-filterMenuSectionOptionWidget-header-title {
51                         font-weight: bold;
52                 }
53         }
54 }