A bug in the CSS (apparently)

[Chris Mortimore <chris.mortimore@googlemail.com>]

Hey folks,

I was incredibly bored this morning, and clicked the "W3C CSS" button on the 
front page (takes you to 
http://jigsaw.w3.org/css-validator/validator?uri=http://www.debian.org/), and 
it claims that there is a bug in the CSS, as follows: 

W3C CSS Validator Results for http://www.debian.org/
Sorry! We found the following errors
URI : http://www.debian.org/debian.css
673  #leftcol, #navbar, #navbar a  Property -moz-border-radius doesn't exist : 
15px

A tiny problem that probably doesn't affect anyone, but thought I'd bring it 
to your attention anyway.

Cheers,

Chris