Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 880506be0bd4f70ce67ed425fdabf537768d432d
Redo VE toolbar styling
A lot of CSS has been moved upstream since this was first written.
It is also possible to simplify the resizing of the toolbar by just
changing the base font size as all sizing in VE is done with ems.
MF's overriding of box-sizing necessitates another override.