I am a big fan of the dark themes (especially Tomorrow Night 80's). One of the issues I have is that the highlight effect on selected words is a little too subtle for my aging eyes. Is there anyway to change the highlight color to something a bit more garish without having to resort to another theme entirely?