twitter/bootstrap — pull request #1030 by dfm (2012-01-16 20:56:16+00:00)
Title: 2.0 wip: Fix vertical layout for navbars with different heights

I just added a little bit of LESS math to make the layout in the navbar to scale properly if you change the value of the navBarHeight variable. This will affect the vertical position of links, buttons, search fields and brands. It also makes the vertical dividers stretch to the full height.

This is my first pull request so let me know if I've done anything wrong!