mediawiki-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;
	}
}
Add a cross-wiki sidebar to the Special:Notifications page Add a sidebar with cross-wiki sources and pages of unread notifications. The filter allows the user to fetch notifications from a foreign source and specific pages if those exist. Bug: T129366 Change-Id: I57d827a47f80274d75364c2099a9624049a26834 2016-05-31 22:32:16 +00:00			`@import '../echo.variables';`
			`.mw-echo-ui-pageFilterWidget {`
			`margin-top: 2 * @specialpage-separation-unit;`

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