mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-09-24 02:39:33 +00:00
de795bdbc5
It's a lot easier to set 'color' back to the desired value than 'font-size'. As an amusing side-effect, the hidden text will appear when selected, and it will be possible to copy it. Change-Id: I7a7ef8e60f514743c9cb65bcef3ba4e869f5b7b7 |
||
---|---|---|
.. | ||
mw.echo.alert.less | ||
mw.echo.alert.modern.less | ||
mw.echo.alert.monobook.less | ||
mw.echo.badge.less | ||
mw.echo.badge.modern.less | ||
mw.echo.badge.monobook.less | ||
mw.echo.badge.vector.less | ||
mw.echo.icon.less | ||
mw.echo.notifications.less | ||
mw.echo.special.less |