Yesterday I updated to firefox 13 and I notice that this property is not any more supported by firefox 13, jquery.ui.css make use of this, and now I have all jquery ui eleme
Find and Replace in complete Project...
Previously I used:
-moz-border-radius:10px;
-webkit-border-radius:10px;
but they stopped working in v13. I switched to:
border-radius:10px;
and it is working again!
Normally, you just should have to do nothing, because the jQuery-UI css files declare the border-radii the correct way.
<prefixed>-border-radius:xxx
border-radius:xxx
This way you shouldn't even notice the change. So I can't believe that you will miss the round corners without having altered the original stylesheet. Perhaps your problem lies somewhere else?
https://developer.mozilla.org/en/CSS/border-radius
says it was removed in 13, theres no other option than to change it to border-radius. I wouldn't call it manual, open them in a text editor and do a search and replace
border-radius
is the standard, so it should have always been included in your css as a fallback as browsers adopted the standard.