mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-16 10:59:56 +00:00
03af517d19
The icons have a padding of 6px around the icon image itself. To get to the required 16px/8px space the margin was adjusted accordingly. Note that there's also a 2px padding around the menu. Bug: T272482 Change-Id: I3df9f355dfd5c4e6366432555b96bf788e784280 |
||
---|---|---|
.. | ||
ce | ||
dm | ||
init | ||
preinit | ||
tests | ||
themes | ||
ui |