David Kaltschmidt b7f69c77f1 [site] header markup needs change after refactor ...

due to change in stylesheet in website repo

this change does not affect current deployment, but has to be deployed
when the website is deployed again

2015-06-08 15:09:04 +01:00

..

default.html

[site] header markup needs change after refactor

2015-06-08 15:09:04 +01:00