in src/theme.js [533:539]
foreground: lightDark(scale.purple[5], scale.purple[2]), fontStyle: "bold", }, }, { scope: "meta.diff.header", settings: {