mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-30 18:45:07 +00:00
9ee48977f1
And remove Echo's own mixin. Depends-On: Ia8d6e7229b49598b0f4cb19dff463ffe2f11a43d Change-Id: I68d5726f01484ef5b94a606de9669207944dff54
8 lines
91 B
Plaintext
8 lines
91 B
Plaintext
.mw-echo-ui-mixin-hover-opacity() {
|
|
opacity: @opacity-low;
|
|
|
|
&:hover {
|
|
opacity: 1;
|
|
}
|
|
}
|