Pretty HTML rendering of diffs
