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

Improves GitHub.

r? @SimonSapin