New font and header background color

With this change, API docs and examples match the website design
of the new-build branch of openlayers.github.io better.