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
-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.