mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-13 00:07:11 +00:00
06ef34c05f
Changes: - set margin-top and margin-bottom to 0 on following elements: ul, ol, li, dl, dd and dd Bug: T168941 Change-Id: I80478de046d7944fde3c0de3f96f5c9dc4623c36 |
||
---|---|---|
.. | ||
ext.popups.animation.less | ||
ext.popups.core.less | ||
ext.popups.settings.less |