Fix JS inclusion.
Fix sticky navigation.
Add scrollspying to the navigation.

This uses Bootstrap's scrollspy.js.
Fix header hover colors and size.
Move the menu button slightly.
Change table style.