Update html-nav.html