wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Ed Sanders b1257d60a8 Reduce bottom margin of reference names 
The bottom margin makes refs with name noticeably taller than
others, however a small margin is required to stop the second
line of text wrapping too tightly.

Change-Id: Iae7e1e6ee29d9090e54aa05feda1854828a03d9d
2014-07-27 13:23:06 +01:00
..
dialogs Update VE core submodule to master (f2277ea) 2014-07-14 23:24:45 +00:00
images SVG fixes 2014-07-26 18:38:11 -07:00
inspectors Update VE core submodule to master (f2277ea) 2014-07-14 23:24:45 +00:00
pages Hide unsupported UI elements in references on mobile 2014-05-21 16:18:08 -07:00
widgets Reduce bottom margin of reference names 2014-07-27 13:23:06 +01:00
ve.ui.Icons.css Put "re-use reference" in the toolbar "Cite" menu, and give it an icon 2014-07-22 13:10:06 -07:00