mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-01 02:46:46 +00:00
c2dba98a9d
Change-Id: I2789e3b93d1fc5743ea94b946fcd3e3ba8798e5e
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;
|
|
}
|
|
}
|