[mediawiki.action.history.diff.css] remove redundant css rule