Fix a couple small styling bugs caused by the redline update in navbar.