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

.mw-echo-ui-overlay {
	// We need the overlay to be adjusted for:
	// #globalWrapper 127%
	// .pBody 95%
	// .portlet ul 95%
	// .mw-echo-ui-notificationBadgeButtonPopupWidget > .oo-ui-popupWidget 0.875/0.75em
	font-size: 1.27 * 0.95 * 0.95 * 0.875 / 0.75 em;
}
Fix font size for notifications dotdotdot menu in Monobook Change-Id: Ie75ad192204a652885a82b0021340410b69864f4 2016-08-29 22:22:44 +00:00			`.mw-echo-ui-overlay {`
			`// We need the overlay to be adjusted for:`
			`// #globalWrapper 127%`
			`// .pBody 95%`
			`// .portlet ul 95%`
			`// .mw-echo-ui-notificationBadgeButtonPopupWidget > .oo-ui-popupWidget 0.875/0.75em`
build: Bump stylelint and make pass grunt-stylelint 0.6.0 → 0.7.0 stylelint-config-wikimedia 0.3.0 → 0.4.1 Change-Id: Id87b8df04d415e1f1058a4042a31408236402037 2017-02-17 23:41:15 +00:00			`font-size: 1.27 * 0.95 * 0.95 * 0.875 / 0.75 em;`
Fix font size for notifications dotdotdot menu in Monobook Change-Id: Ie75ad192204a652885a82b0021340410b69864f4 2016-08-29 22:22:44 +00:00			`}`