A few updates to navigation, and CSS