/* All navbar-extra styling is now in redesign.css */