made a small change to bootstrap.css