js: tweak nav behaviour.