mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 16:44:51 +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 |
||
---|---|---|
.. | ||
ve.ui.MWCategoryInputWidget.css | ||
ve.ui.MWCategoryItemWidget.css | ||
ve.ui.MWCategoryPopupWidget.css | ||
ve.ui.MWCategoryWidget.css | ||
ve.ui.MWLinkTargetInputWidget.css | ||
ve.ui.MWMediaInfoFieldWidget.css | ||
ve.ui.MWMediaResultWidget.css | ||
ve.ui.MWMediaSearchWidget.css | ||
ve.ui.MWMoreParametersResultWidget.css | ||
ve.ui.MWNoParametersResultWidget.css | ||
ve.ui.MWParameterResultWidget.css | ||
ve.ui.MWParameterSearchWidget.css | ||
ve.ui.MWReferenceGroupInputWidget.css | ||
ve.ui.MWReferenceResultWidget.css | ||
ve.ui.MWReferenceSearchWidget.css | ||
ve.ui.MWTitleInputWidget.css | ||
ve.ui.MWTocWidget.css |