mediawiki.action.history.diff: Rework print styles