dirty port of navbar height (2/2)