The stuff that has been added to diff.css in r39406 is most likely no longer used since HTMLDiff has been removed in r58267.
It should be removed for performance reasons and also because it contains an ugly CSS hack that triggers a parse error (cf. http://lists.wikimedia.org/pipermail/wikitech-l/2008-November/040273.html).
Version: unspecified
Severity: enhancement