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

11 lines
174 B
Plaintext
Raw Normal View History

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