Minor fixes throughout, mostly to make the navbar look good on mobile devices