We’re designing a custom code theme which displays line numbers, and we’re having some internal debate whether these line numbers need to meet WCAG AA contrast guidelines? They’re not the main body text, but neither are they the acceptable…