Is box sizing really needed? I don't see padding or width properties here.