mediawiki-extensions-Echo/modules/echo.mixins.less

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 17:50:39 +00:00
.mw-echo-ui-mixin-hover-opacity() {
	opacity: @opacity-low;
	&:hover {
		opacity: 1;
	}
}
Add OOUI widgets for cross-wiki bundled notifications * Add the ability to use bundled expandable notification groups * Display bundled cross-wiki notifications following the design Bug: T115419 Bug: T115423 Bug: T115422 Change-Id: I8c3eba6d627c3f06d51d74fc9774e3fc2d02915d 2015-10-16 23:18:25 +00:00			`.mw-echo-ui-mixin-hover-opacity() {`
			`opacity: @opacity-low;`
			`&:hover {`
			`opacity: 1;`
			`}`
			`}`