[Bug 2446] border-width validation omits "redundant" setting

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2446

           Summary: border-width validation omits "redundant" setting
           Product: CSSValidator
           Version: CSS Validator
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: text area
        AssignedTo: ot@w3.org
        ReportedBy: jscher@carrferrell.com
         QAContact: www-validator-cvs@w3.org


If you paste these in the text area:

border-width: 0 0 1px 0;
border-width: 1px 0 0 0;
border-width: 1px 0 0 1px;

You get back these as valid css:

border-width : 0 0 1px;
border-width : 1px 0 0;
border-width : 1px 0 0 1px;

The first two apparently are equivalent to the original, but I think it is bad
for usability to rewrite the user's css in this way. Trying to remember the
"12:00 3:00 6:00 9:00" versus "12:00/6:00 3:00/9:00" orientation is challenging
enough without getting back 3 settings.