Bootstrap 3

Makes the homepage compatible with Bootstrap 3.

This PR also contains *lots* of other small changes, tweaks, and fixes.