Bootstrap 3

Updating to Bootstrap 3. This tries to keep it as unmodified as possible so that we can use its more standardized interactions/animations.