change highlight color in dark theme to be darker (and reddish)