Bring back -webkit-box-sizing to support (a bit) older browsers