Merge "RCFilters UI: Add tooltip to highlight menu"
[lhc/web/wiklou.git] / resources / src / mediawiki.rcfilters / styles / mw.rcfilters.less
1 // Corrections for the standard special page
2 .client-js{
3 .rcoptions {
4 border: 0;
5 border-bottom: 1px solid #a2a9b1;
6
7 legend {
8 display: none;
9 }
10 }
11
12 .rcfilters-head {
13 min-height: 270px;
14 &:not( .mw-rcfilters-ui-ready ) {
15 /* @embed */
16 background-image: url( ../images/pending.gif );
17 margin: 0;
18
19 * {
20 visibility: hidden;
21 }
22 }
23 }
24
25 .rcfilters-container {
26 min-height: 100px;
27 margin: 0;
28 }
29 }
30
31 .mw-rcfilters-staticfilters-selected {
32 font-weight: bold;
33 }