Greasemonkey/Tampermonkey Userscript automatically fix the bootstrap site's navigation to the top as you scroll.
Fra og med 19.12.2014. Se den nyeste version.
