as a bookmarklet:

    javascript:var kn=document.createElement('script');kn.src='//raw.github.com/gist/3748621/1bbdaee115134d0106978e42a5423f7b3e5de5e3/nav.js'; kn.type='text/javascript';document.getElementsByTagName('head')[0].appendChild(kn);