Use a much-shorter classname instead of "diffponct" to optimise HTML output.

This turns the output in #245 from 32MB ->
26MB uncompressed (although almost neglible gain when gzipped, of course).