use CSS for formatting diffs