Some nav.js tweaks and improved styling