mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
11 lines
169 B
Plaintext
11 lines
169 B
Plaintext
@import '../echo.variables';
|
|
|
|
.mw-echo-ui-pageFilterWidget {
|
|
margin-top: 2 * @specialpage-separation-unit;
|
|
|
|
&-title {
|
|
padding-left: 0.5em;
|
|
font-weight: bold;
|
|
}
|
|
}
|