core.css: Remove styling for php-diff

[ci skip]