reformat navigator.js, new version of website