twitter/bootstrap — pull request #8258 by aristath (2013-06-22 11:44:18+00:00)
Title: Navbar fixes

Use the `@grid-gutter-width` variable to calculate `.navbar` and `.navbar-brand` paddings and margins.