spec as http://www.w3.org/TR/css3-ui/#box-sizing to let http://test.csswg.org/shepherd be happy