For most cases this could probably be fixed by using a more abstract color scheme: rather than "red", "blue", "grey", and such, maybe "warn_0", "emphasis_0", "d

For most cases this could probably be fixed by using a more abstract color scheme: rather than "red", "blue", "grey", and such, maybe "warn_0", "emphasis_0", "dull_0", etc.