twitter/bootstrap — pull request #5101 by tlvince (2012-09-12 16:27:28+00:00)
Title: Use relative font sizes for headers

It has been discussed before but this pull simply sets heading font-size differences relative to `@baseFontSize`.