fixes #7497: use var for jumbotron border radius
Merge branch '3.0.0-wip' of github.com:twitter/bootstrap into 3.0.0-wip