layout: Implement `box-sizing: border-box`.

Improves GitHub.
Merge pull request #3490 from pcwalton/box-sizing

layout: Implement `box-sizing: border-box`.

Reviewed-by: SimonSapin