Navbar shrink

Makes navbar shrink more elegantly when screen width is reduced