servo/servo — pull request #3556 by pcwalton (2014-10-02 05:32:26+00:00)
Title: layout: Implement `box-sizing: border-box`.

Improves GitHub.