twitter/bootstrap — pull request #7504 by acmetech (2013-04-08 12:49:03+00:00)
Title: variable update - fixed

I think these may have been missed when you were renaming variables.

This should fix the out of date bootstrap.css in #7502, sorry about that.