Made navbar.js more terse