I've recently switched from Firefox to Opera, and I've noticed that certain elements, for example, .bounty-award
, do not have rounded corners anymore. Delving into the CSS reveals that only -webkit-border-radius
and -moz-border-radius
are defined, but border-radius
is not.
border-radius
, as the official CSS3 property, should be defined as well, seeing as it is supported in recent versions of Chrome and Opera, in addition to being the only border-radius
variant supported in IE9.
Adding a proper border-radius: 3px
rule via Dragonfly (like Firebug for Opera) solves this problem.