9.4.1 box-sizing