Update style and migrate to Bootstrap 3

Main switch is the use of Bootstrap 3 templates for the boostrap theme.
In the course of doing so, bits of css have been cleaned up.