Beatification of global_nav.js