option to change highlight colors

Sometimes teachers use highlight colors on their text that have unequal contrast with the background/text color I’ve changed in my theme, but I can’t edit things on their side through what we currently have. It would be such a gamechanger if there was an option to set equivalents, for example if they used a yellow highlight color it could change to blue, or whatever the user’s preference is.