mediawiki-extensions-Echo/modules/styles/mw.echo.ui.PageFilterWidget.less

12 lines
215 B
Plaintext
Raw Normal View History

@import 'mediawiki.skin.variables.less';
@import '../echo.variables.less';
.mw-echo-ui-pageFilterWidget {
margin-top: 2 * @specialpage-separation-unit;
&-title {
padding-left: 0.5em;
font-weight: bold;
}
}