Currently, people wanting anything other than the default yellow background highlight need to write some custom CSS. Instead, we could have a tab on the text style format box:
People have asked me previously about changing the highlight color, so this feature would be helpful.