servo/servo — pull request #3490 by pcwalton (2014-09-26 19:14:06+00:00)
Title: layout: Implement `box-sizing: border-box`.

Improves GitHub.

r? @SimonSapin