patternfly/patternfly — pull request #17 by vopet (2014-05-05 15:15:18+00:00)
Title: adjust @input-height-base to @font-size-base: 12px

.input-group-btn height is by 1px larger than input's -> input-groups look ugly.

This should make them equal.