twitter/bootstrap — pull request #4582 by elithompson (2012-08-22 15:23:45+00:00)
Title: <p>'s bottom margin is 10px, not 9px

I was just reading through and noticed that

's line height is 20px and half of that is 10px, not 9px.