Greasemonkey/Tampermonkey Userscript automatically fix the bootstrap site's navigation to the top as you scroll.
Per 19-12-2014. Zie de nieuwste versie.
