Merge pull request #610 from leider/master

UI tweaks
adapted header height to new fonts