On Fri, Jun 13, 2008 at 5:27 AM, <raymond(a)svn.wikimedia.org> wrote:
Remove non standard, Gecko specific CSS.
At least Opera whines about it and the round corners are not consistent to all other
boxes with square corners.
Browsers whining about it should not be a reason not to use it. CSS
deliberately specifies that unsupported properties should be ignored,
and it's no problem if they are (whether or not some caution is noted
in a log somewhere). Firefox will whine if you use any number of CSS
3 properties that it doesn't yet support.
If the CSS added a useful feature, it should have stayed,
vendor-specific or not. However, it shouldn't be made
browser-specific if that can be avoided; in this case, we should have
had standard border-radius properties as well. Personally I don't
care whether the borders are square or round, but if they're round,
-moz-border-radius should be there as well as border-radius, to ensure
better support among browsers.