Updated mediawiki/extensions Project: mediawiki/extensions/MobileFrontend 71e001b85de4d73557b12a27e04a8989e757d20a
VisualEditorOverlay: Update for Idc299e23 in OOUI
Quote, "We may want to move these to an oojs-ui theme at some point".
That would indeed help. I had no idea there are styles overriding this here,
otherwise I would have submitted a fix for the breaking change.