Fix navbar height.
Merge pull request #2035 from johanneskrtek/navbar

Fix navbar height.