If someone wants to keep the tabbed nav sticky to the top of the page, I wrote a Firefox add-on &#x2F; Chrome extension to do so: <a href="https:&#x2F;&#x2F;github.com&#x2F;tonglil&#x2F;github-static-nav" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tonglil&#x2F;github-static-nav</a>