wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 01:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/modules/echo.mixins.less

8 lines
91 B
Plaintext
Raw Normal View History

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;
build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass Change-Id: I2789e3b93d1fc5743ea94b946fcd3e3ba8798e5e
2019-01-10 02:42:06 +00:00
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
&:hover {
opacity: 1;
}
}
Reference in a new issue Copy permalink