more adaptations to Bootstrap 3