mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 23:44:53 +00:00
415b7b9851
Some LESS parsers will get confused with the lack of file extension. It's better to be explicit and in alignment with recent change in core I379334d7729e587a2a00. It was already weirdly mixed in this repo with some imports featuring extension and some not. Change-Id: Ib208607c850fa2492b13cd3d449c04ebc2c21a01
11 lines
174 B
Plaintext
11 lines
174 B
Plaintext
@import '../echo.variables.less';
|
|
|
|
.mw-echo-ui-pageFilterWidget {
|
|
margin-top: 2 * @specialpage-separation-unit;
|
|
|
|
&-title {
|
|
padding-left: 0.5em;
|
|
font-weight: bold;
|
|
}
|
|
}
|