Greasemonkey/Tampermonkey Userscript automatically fix the bootstrap site's navigation to the top as you scroll.
As of 19. 12. 2014. See the latest version.
