CSS property copying: border-style and box-sizing

Copying the CSS property "border-width" has no effect unless "border-style" is copied, too (at least in Google Chrome).

Additionally, the CSS property "box-sizing" affects the layout and should be copied, too.