servo/servo — pull request #3629 by pcwalton (2014-10-10 03:17:31+00:00)
Title: resources: Add `box-sizing: border-box` to button styles.

Gecko does this and Pinterest's layout breaks without it.

r? @SimonSapin