my modifications based on Twitter Bootstrap 3.0.0