This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://lists.w3.org/Archives/Public/www-style/2011Nov/0020.html
Also related to 14173
*** Bug 14722 has been marked as a duplicate of this bug. ***
*** Bug 15240 has been marked as a duplicate of this bug. ***
This is handled implicitly by the list matching prose in section 3.2.