mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 00:30:44 +00:00
7609a35ecc
* Add margin-right: 0 to suppress OOUI's inline spacing feature. We can't use margin on the widgets because of how draggable works (there may not be "gaps" between draggable elements or funny things happen). * Set our inline spacing to 0.5em (2 × 0.25em) rather than 0.75em, to match OOUI styles. * Space at bottom and right rather than at top and right. Change-Id: I90f4f47dd0c55de18e5915e610a76d0140438cc3 |
||
---|---|---|
.. | ||
dialogs | ||
images | ||
inspectors | ||
pages | ||
tools | ||
widgets | ||
ve.ui.Icons.css |