Doesn't seem to be needed in recent webkit builds (for example, an up to date Chrome/Chromium works fine with plain old border-radius). Can anybody comment on if it's still a good idea to include that rule or not, perhaps for older webkit versions?