Add div.highlight to solarized-dark.