Can put borders on nav bar buttons for #10.