mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 17:50:39 +00:00
9 lines
145 B
Plaintext
9 lines
145 B
Plaintext
|
@import '../echo.variables';
|
||
|
.mw-echo-ui-pageFilterWidget {
|
||
|
margin-top: 2 * @specialpage-separation-unit;
|
||
|
|
||
|
&-title {
|
||
|
font-weight: bold;
|
||
|
}
|
||
|
}
|