colorized HTML diffs