Replaced jquery.nav.js for its minimized version.