Rename nav.txt to nav.html

Changing from txt to html file.