openlayers/ol3 — pull request #1055 by ahocevar (2013-09-23 23:08:45+00:00)
Title: New font and header background color

This matches the website design of the new-build branch of
openlayers.github.io better.