wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/widgets
History
Thiemo Kreuz 77ce583167 Simplify OutlineControls CSS a little more 
This is a direct follow-up to I7f22e4b. I found that the way the
margins have been arranged became a little more complicated with
I7f22e4b. This patch tries to go back to the – I think – simpler way
it was done before.

It should look the same as before down to the pixel.

Bug: T311223
Change-Id: I2c7789922078fa98f15f0b65de4c0efdf878a13a
2022-06-28 10:50:33 +02:00
..
images
ve.ui.MWAceEditorWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryInputWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryItemWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryPopupWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWCategoryWidget.css doc: Bump copyright year for 2020 2020-01-08 09:13:24 -08:00
ve.ui.MWEducationPopupWidget.css Rewrite EducationPopup so it isn't a mixin 2020-09-24 21:33:50 +01:00
ve.ui.MWMediaInfoFieldWidget.css Remove unused CSS vendor prefixes 2022-05-04 16:55:43 +01:00
ve.ui.MWTocWidget.css
ve.ui.MWTransclusionOutlineControlsWidget.less Simplify OutlineControls CSS a little more 2022-06-28 10:50:33 +02:00