Current File : /home/jvzmxxx/wiki1/extensions/Echo/modules/styles/mw.echo.ui.PageFilterWidget.less

@import '../echo.variables';
.mw-echo-ui-pageFilterWidget {
	margin-top: 2 * @specialpage-separation-unit;

	&-title {
		font-weight: bold;
	}
}