Merge "resourceloader: Use perf.now() for mediaWikiLoadStart in startup.js"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.ui.FilterWrapperWidget.less
1 .mw-rcfilters-ui-filterWrapperWidget {
2 width: 100%;
3
4 &-popup {
5 // We have to override OOUI's definition, which is set
6 // on the inline style of the popup
7 margin-top: 2.4em !important;
8 max-width: 650px;
9 }
10
11 &-search {
12 max-width: none;
13 margin-top: -0.5em;
14
15 input {
16 // Make sure this uses the interface direction, not the content direction
17 direction: ltr;
18 }
19 }
20 }