Tweak the Bootstrap theme a little bit.
Fix hash navigation.
Clean up info page.