mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-11 23:36:07 +00:00
df71836742
Setting text color to `#222` and border color to `#a2a9b1` as everywhere else. Also making use of more recent LESS functionality with multiple arguments per mixin to remove unecessary duplication of code and change static values to central LESS variables where applicable. Change-Id: I394c7e7e1369ff38b7ea91c7faebe773bcb2948d |
||
---|---|---|
.. | ||
ext.popups.animation.less | ||
ext.popups.core.less | ||
ext.popups.settings.less |