Make navigation nicer if JavaScript is enabled.