[Wikitech-ambassadors] Small update to button styles in MediaWiki core