Add test cases for nav highlighting.