minor fixes to bootstrap top-bar padding