bug#33567: Syntactic fontification of diff hunks

[Dmitry Gutov]

On 21.12.2018 0:17, Juri Linkov wrote:

> But please see in https://debbugs.gnu.org/10181#68
> why red and green colors are not symmetrical and
> how is was wrong on GitHub.

Thanks! (TBC in another email).

> Your proposed new colors for added/removed are the same that are used
> GitHub/GitLab, so this should be a good change.

Now pushed, thank you.

> While at it, please also tone down file/hunk header colors:
> diff-header from grey80 to grey90 and
> diff-file-header from grey70 to grey80

I see you have done that yourself, looks good.