Override the default styling of .highlight in the editor.

Closes #4136