Navigation reflects whether user is logged in or out, minor style fix