revert \9 in bootstrap.css