(diff-header-face, diff-file-header-face)