In addition, the header image now exists in three sizes. The right size is selected using CSS media queries.
It includes: - new fonts; - a new logo/header; - a different content; - color and style changes in the CSS; - various other small changes. The update is not finished yet, but this commit already illustrates what it should look like when it is done.
