Migrated to Bootstrap 3; fixes #5