fixups to nav bar, including a reasonable looking search