minor changes to the bootstrap.css