Fix color for links in header
Favor `pre` instead of `.highlight` in CSS