Merge pull request #611 from leider/master

adapted header height to new fonts