Differentiate highlight color and links.

Slightly darkened 'highlight' color. Otherwise, links and highlight
text look exactly the same, which is a little confusing.


(Minor thing, feel free to ignore.)