- From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 25 Apr 2012 20:21:55 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/org/w3c/css/properties In directory hutz:/tmp/cvs-serv23918/w3c/css/properties Modified Files: CSS1Properties.properties CSS21Properties.properties CSS2Properties.properties CSS3Properties.properties Log Message: Finished implementation of css3-background (background and borders) * border is now a single item, instead of one per level * able to parse all the positive tests, some negative ones will need some tuning * Grammar modification to use the '/' between two numbers without matching a ratio Index: CSS21Properties.properties =================================================================== RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS21Properties.properties,v retrieving revision 1.11 retrieving revision 1.12 diff -u -d -r1.11 -r1.12 --- CSS21Properties.properties 9 Feb 2012 17:36:27 -0000 1.11 +++ CSS21Properties.properties 25 Apr 2012 20:21:53 -0000 1.12 @@ -10,11 +10,32 @@ color: org.w3c.css.properties.css21.CssColor # background background-color: org.w3c.css.properties.css21.CssBackgroundColor -background-image: org.w3c.css.properties.css2.CssBackgroundImage -background-repeat: org.w3c.css.properties.css2.CssBackgroundRepeat -background-attachment: org.w3c.css.properties.css2.CssBackgroundAttachment +background-image: org.w3c.css.properties.css21.CssBackgroundImage +background-repeat: org.w3c.css.properties.css21.CssBackgroundRepeat +background-attachment: org.w3c.css.properties.css21.CssBackgroundAttachment background-position: org.w3c.css.properties.css21.CssBackgroundPosition background: org.w3c.css.properties.css21.CssBackground +# border +border-top-width: org.w3c.css.properties.css21.CssBorderTopWidth +border-right-width: org.w3c.css.properties.css21.CssBorderRightWidth +border-left-width: org.w3c.css.properties.css21.CssBorderLeftWidth +border-bottom-width: org.w3c.css.properties.css21.CssBorderBottomWidth +border-top-color: org.w3c.css.properties.css21.CssBorderTopColor +border-right-color: org.w3c.css.properties.css21.CssBorderRightColor +border-left-color: org.w3c.css.properties.css21.CssBorderLeftColor +border-bottom-color: org.w3c.css.properties.css21.CssBorderBottomColor +border-top-style: org.w3c.css.properties.css21.CssBorderTopStyle +border-right-style: org.w3c.css.properties.css21.CssBorderRightStyle +border-left-style: org.w3c.css.properties.css21.CssBorderLeftStyle +border-bottom-style: org.w3c.css.properties.css21.CssBorderBottomStyle +border-width: org.w3c.css.properties.css21.CssBorderWidth +border-color: org.w3c.css.properties.css21.CssBorderColor +border-style: org.w3c.css.properties.css21.CssBorderStyle +border-top: org.w3c.css.properties.css21.CssBorderTop +border-right: org.w3c.css.properties.css21.CssBorderRight +border-left: org.w3c.css.properties.css21.CssBorderLeft +border-bottom: org.w3c.css.properties.css21.CssBorderBottom +border: org.w3c.css.properties.css21.CssBorder word-spacing: org.w3c.css.properties.css21.CssWordSpacing letter-spacing: org.w3c.css.properties.css21.CssLetterSpacing @@ -34,26 +55,6 @@ padding-left: org.w3c.css.properties.css1.CssPaddingLeft padding-right: org.w3c.css.properties.css1.CssPaddingRight padding: org.w3c.css.properties.css1.CssPadding -border-top-width: org.w3c.css.properties.css1.CssBorderTopWidthCSS2 -border-right-width: org.w3c.css.properties.css1.CssBorderRightWidthCSS2 -border-left-width: org.w3c.css.properties.css1.CssBorderLeftWidthCSS2 -border-bottom-width: org.w3c.css.properties.css1.CssBorderBottomWidthCSS2 -border-top-color: org.w3c.css.properties.css21.CssBorderTopColorCSS21 -border-right-color: org.w3c.css.properties.css21.CssBorderRightColorCSS21 -border-left-color: org.w3c.css.properties.css21.CssBorderLeftColorCSS21 -border-bottom-color: org.w3c.css.properties.css21.CssBorderBottomColorCSS21 -border-top-style: org.w3c.css.properties.css1.CssBorderTopStyleCSS2 -border-right-style: org.w3c.css.properties.css1.CssBorderRightStyleCSS2 -border-left-style: org.w3c.css.properties.css1.CssBorderLeftStyleCSS2 -border-bottom-style: org.w3c.css.properties.css1.CssBorderBottomStyleCSS2 -border-width: org.w3c.css.properties.css1.CssBorderWidthCSS2 -border-color: org.w3c.css.properties.css21.CssBorderColorCSS21 -border-style: org.w3c.css.properties.css1.CssBorderStyleCSS2 -border-top: org.w3c.css.properties.css21.CssBorderTopCSS21 -border-right: org.w3c.css.properties.css21.CssBorderRightCSS21 -border-left: org.w3c.css.properties.css21.CssBorderLeftCSS21 -border-bottom: org.w3c.css.properties.css21.CssBorderBottomCSS21 -border: org.w3c.css.properties.css21.CssBorderCSS21 width: org.w3c.css.properties.css21.CssWidth min-width: org.w3c.css.properties.css1.CssMinWidth max-width: org.w3c.css.properties.css1.CssMaxWidth Index: CSS3Properties.properties =================================================================== RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS3Properties.properties,v retrieving revision 1.27 retrieving revision 1.28 diff -u -d -r1.27 -r1.28 --- CSS3Properties.properties 5 Apr 2012 09:42:20 -0000 1.27 +++ CSS3Properties.properties 25 Apr 2012 20:21:53 -0000 1.28 @@ -7,6 +7,7 @@ font-stretch: org.w3c.css.properties.css1.CssFontStretch font-size-adjust: org.w3c.css.properties.css1.CssFontSizeAdjust font: org.w3c.css.properties.css1.CssFont + color: org.w3c.css.properties.css3.CssColor # http://www.w3.org/TR/2009/CR-css3-background-20091217/ background-image: org.w3c.css.properties.css3.CssBackgroundImage @@ -22,6 +23,35 @@ box-shadow: org.w3c.css.properties.css3.CssBoxShadow box-decoration-break: org.w3c.css.properties.css3.CssBoxDecorationBreak +border-top-width: org.w3c.css.properties.css3.CssBorderTopWidth +border-right-width: org.w3c.css.properties.css3.CssBorderRightWidth +border-left-width: org.w3c.css.properties.css3.CssBorderLeftWidth +border-bottom-width: org.w3c.css.properties.css3.CssBorderBottomWidth +border-top-color: org.w3c.css.properties.css3.CssBorderTopColor +border-right-color: org.w3c.css.properties.css3.CssBorderRightColor +border-left-color: org.w3c.css.properties.css3.CssBorderLeftColor +border-bottom-color: org.w3c.css.properties.css3.CssBorderBottomColor +border-top-style: org.w3c.css.properties.css3.CssBorderTopStyle +border-right-style: org.w3c.css.properties.css3.CssBorderRightStyle +border-left-style: org.w3c.css.properties.css3.CssBorderLeftStyle +border-bottom-style: org.w3c.css.properties.css3.CssBorderBottomStyle +border-width: org.w3c.css.properties.css3.CssBorderWidth +border-color: org.w3c.css.properties.css3.CssBorderColor +border-style: org.w3c.css.properties.css3.CssBorderStyle +border-top: org.w3c.css.properties.css3.CssBorderTop +border-right: org.w3c.css.properties.css3.CssBorderRight +border-left: org.w3c.css.properties.css3.CssBorderLeft +border-bottom: org.w3c.css.properties.css3.CssBorderBottom +border: org.w3c.css.properties.css3.CssBorder + + +border-image: org.w3c.css.properties.css3.CssBorderImage +border-image-source: org.w3c.css.properties.css3.CssBorderImageSource +border-image-slice: org.w3c.css.properties.css3.CssBorderImageSlice +border-image-width: org.w3c.css.properties.css3.CssBorderImageWidth +border-image-outset: org.w3c.css.properties.css3.CssBorderImageOutset +border-image-repeat: org.w3c.css.properties.css3.CssBorderImageRepeat + border-top-right-radius: org.w3c.css.properties.css3.CssBorderTopRightRadius border-bottom-right-radius: org.w3c.css.properties.css3.CssBorderBottomRightRadius border-bottom-left-radius: org.w3c.css.properties.css3.CssBorderBottomLeftRadius @@ -48,26 +78,7 @@ padding-left: org.w3c.css.properties.css3.CssPaddingLeftCSS3 padding-right: org.w3c.css.properties.css3.CssPaddingRightCSS3 padding: org.w3c.css.properties.css3.CssPaddingCSS3 -border-top-width: org.w3c.css.properties.css1.CssBorderTopWidth -border-right-width: org.w3c.css.properties.css1.CssBorderRightWidth -border-left-width: org.w3c.css.properties.css1.CssBorderLeftWidth -border-bottom-width: org.w3c.css.properties.css1.CssBorderBottomWidth -border-top-color: org.w3c.css.properties.css1.CssBorderTopColor -border-right-color: org.w3c.css.properties.css1.CssBorderRightColor -border-left-color: org.w3c.css.properties.css1.CssBorderLeftColor -border-bottom-color: org.w3c.css.properties.css1.CssBorderBottomColor -border-top-style: org.w3c.css.properties.css1.CssBorderTopStyle -border-right-style: org.w3c.css.properties.css1.CssBorderRightStyle -border-left-style: org.w3c.css.properties.css1.CssBorderLeftStyle -border-bottom-style: org.w3c.css.properties.css1.CssBorderBottomStyle -border-width: org.w3c.css.properties.css1.CssBorderWidth -border-color: org.w3c.css.properties.css1.CssBorderColor -border-style: org.w3c.css.properties.css1.CssBorderStyle -border-top: org.w3c.css.properties.css1.CssBorderTop -border-right: org.w3c.css.properties.css1.CssBorderRight -border-left: org.w3c.css.properties.css1.CssBorderLeft -border-bottom: org.w3c.css.properties.css1.CssBorderBottom -border: org.w3c.css.properties.css1.CssBorder + width: org.w3c.css.properties.css3.CssWidth min-width: org.w3c.css.properties.css3.CssMinWidthCSS3 max-width: org.w3c.css.properties.css3.CssMaxWidthCSS3 @@ -272,38 +283,6 @@ marquee-style: org.w3c.css.properties.css3.CssMarqueeStyle overflow-clip: org.w3c.css.properties.css3.CssOverflowClip -border-top-image: org.w3c.css.properties.css3.CssBorderTopImage -border-right-image: org.w3c.css.properties.css3.CssBorderRightImage -border-bottom-image: org.w3c.css.properties.css3.CssBorderBottomImage -border-left-image: org.w3c.css.properties.css3.CssBorderLeftImage -border-image: org.w3c.css.properties.css3.CssBorderImage -border-top-left-image: org.w3c.css.properties.css3.CssBorderTopLeftImage -border-top-right-image: org.w3c.css.properties.css3.CssBorderTopRightImage -border-bottom-right-image: org.w3c.css.properties.css3.CssBorderBottomRightImage -border-bottom-left-image: org.w3c.css.properties.css3.CssBorderBottomLeftImage -border-corner-image: org.w3c.css.properties.css3.CssBorderCornerImage -border-top-fit-length: org.w3c.css.properties.css3.CssBorderTopFitLength -border-right-fit-length: org.w3c.css.properties.css3.CssBorderRightFitLength -border-bottom-fit-length: org.w3c.css.properties.css3.CssBorderBottomFitLength -border-left-fit-length: org.w3c.css.properties.css3.CssBorderLeftFitLength -border-top-fit-width: org.w3c.css.properties.css3.CssBorderTopFitWidth -border-right-fit-width: org.w3c.css.properties.css3.CssBorderRightFitWidth -border-bottom-fit-width: org.w3c.css.properties.css3.CssBorderBottomFitWidth -border-left-fit-width: org.w3c.css.properties.css3.CssBorderLeftFitWidth -border-fit-length: org.w3c.css.properties.css3.CssBorderFitLength -border-fit-width: org.w3c.css.properties.css3.CssBorderFitWidth -border-fit: org.w3c.css.properties.css3.CssBorderFit -border-top-left-fit-length: org.w3c.css.properties.css3.CssBorderTopLeftFitLength -border-top-right-fit-length: org.w3c.css.properties.css3.CssBorderTopRightFitLength -border-bottom-right-fit-length: org.w3c.css.properties.css3.CssBorderBottomRightFitLength -border-bottom-left-fit-length: org.w3c.css.properties.css3.CssBorderBottomLeftFitLength -border-top-left-fit-width: org.w3c.css.properties.css3.CssBorderTopLeftFitWidth -border-top-right-fit-width: org.w3c.css.properties.css3.CssBorderTopRightFitWidth -border-bottom-right-fit-width: org.w3c.css.properties.css3.CssBorderBottomRightFitWidth -border-bottom-left-fit-width: org.w3c.css.properties.css3.CssBorderBottomLeftFitWidth -border-corner-fit: org.w3c.css.properties.css3.CssBorderCornerFit -border-image-transform: org.w3c.css.properties.css3.CssBorderImageTransform -border-break: org.w3c.css.properties.css3.CssBorderBreak block-progression: org.w3c.css.properties.css3.CssBlockProgression word-break-wrap: org.w3c.css.properties.css3.CssTextWrap round-clip: org.w3c.css.properties.css3.CssBackgroundClip Index: CSS2Properties.properties =================================================================== RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS2Properties.properties,v retrieving revision 1.11 retrieving revision 1.12 diff -u -d -r1.11 -r1.12 --- CSS2Properties.properties 9 Feb 2012 17:36:27 -0000 1.11 +++ CSS2Properties.properties 25 Apr 2012 20:21:53 -0000 1.12 @@ -10,12 +10,35 @@ font-size-adjust: org.w3c.css.properties.css1.CssFontSizeAdjustCSS2 font: org.w3c.css.properties.css1.CssFontCSS2 color: org.w3c.css.properties.css2.CssColor + background-color: org.w3c.css.properties.css2.CssBackgroundColor background-image: org.w3c.css.properties.css2.CssBackgroundImage background-repeat: org.w3c.css.properties.css2.CssBackgroundRepeat background-attachment: org.w3c.css.properties.css2.CssBackgroundAttachment background-position: org.w3c.css.properties.css2.CssBackgroundPosition background: org.w3c.css.properties.css2.CssBackground + +border-top-width: org.w3c.css.properties.css2.CssBorderTopWidth +border-right-width: org.w3c.css.properties.css2.CssBorderRightWidth +border-left-width: org.w3c.css.properties.css2.CssBorderLeftWidth +border-bottom-width: org.w3c.css.properties.css2.CssBorderBottomWidth +border-top-color: org.w3c.css.properties.css2.CssBorderTopColor +border-right-color: org.w3c.css.properties.css2.CssBorderRightColor +border-left-color: org.w3c.css.properties.css2.CssBorderLeftColor +border-bottom-color: org.w3c.css.properties.css2.CssBorderBottomColor +border-top-style: org.w3c.css.properties.css2.CssBorderTopStyle +border-right-style: org.w3c.css.properties.css2.CssBorderRightStyle +border-left-style: org.w3c.css.properties.css2.CssBorderLeftStyle +border-bottom-style: org.w3c.css.properties.css2.CssBorderBottomStyle +border-width: org.w3c.css.properties.css2.CssBorderWidth +border-color: org.w3c.css.properties.css2.CssBorderColor +border-style: org.w3c.css.properties.css2.CssBorderStyle +border-top: org.w3c.css.properties.css2.CssBorderTop +border-right: org.w3c.css.properties.css2.CssBorderRight +border-left: org.w3c.css.properties.css2.CssBorderLeft +border-bottom: org.w3c.css.properties.css2.CssBorderBottom +border: org.w3c.css.properties.css2.CssBorder + word-spacing: org.w3c.css.properties.css2.CssWordSpacing letter-spacing: org.w3c.css.properties.css2.CssLetterSpacing text-decoration: org.w3c.css.properties.css1.CssTextDecoration @@ -35,26 +58,7 @@ padding-left: org.w3c.css.properties.css1.CssPaddingLeft padding-right: org.w3c.css.properties.css1.CssPaddingRight padding: org.w3c.css.properties.css1.CssPadding -border-top-width: org.w3c.css.properties.css1.CssBorderTopWidthCSS2 -border-right-width: org.w3c.css.properties.css1.CssBorderRightWidthCSS2 -border-left-width: org.w3c.css.properties.css1.CssBorderLeftWidthCSS2 -border-bottom-width: org.w3c.css.properties.css1.CssBorderBottomWidthCSS2 -border-top-color: org.w3c.css.properties.css1.CssBorderTopColorCSS2 -border-right-color: org.w3c.css.properties.css1.CssBorderRightColorCSS2 -border-left-color: org.w3c.css.properties.css1.CssBorderLeftColorCSS2 -border-bottom-color: org.w3c.css.properties.css1.CssBorderBottomColorCSS2 -border-top-style: org.w3c.css.properties.css1.CssBorderTopStyleCSS2 -border-right-style: org.w3c.css.properties.css1.CssBorderRightStyleCSS2 -border-left-style: org.w3c.css.properties.css1.CssBorderLeftStyleCSS2 -border-bottom-style: org.w3c.css.properties.css1.CssBorderBottomStyleCSS2 -border-width: org.w3c.css.properties.css1.CssBorderWidthCSS2 -border-color: org.w3c.css.properties.css1.CssBorderColorCSS2 -border-style: org.w3c.css.properties.css1.CssBorderStyleCSS2 -border-top: org.w3c.css.properties.css1.CssBorderTopCSS2 -border-right: org.w3c.css.properties.css1.CssBorderRightCSS2 -border-left: org.w3c.css.properties.css1.CssBorderLeftCSS2 -border-bottom: org.w3c.css.properties.css1.CssBorderBottomCSS2 -border: org.w3c.css.properties.css1.CssBorderCSS2 + width: org.w3c.css.properties.css2.CssWidth min-width: org.w3c.css.properties.css1.CssMinWidth max-width: org.w3c.css.properties.css1.CssMaxWidth Index: CSS1Properties.properties =================================================================== RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS1Properties.properties,v retrieving revision 1.7 retrieving revision 1.8 diff -u -d -r1.7 -r1.8 --- CSS1Properties.properties 9 Feb 2012 17:36:27 -0000 1.7 +++ CSS1Properties.properties 25 Apr 2012 20:21:53 -0000 1.8 @@ -9,12 +9,14 @@ font-family: org.w3c.css.properties.css1.CssFontFamilyCSS1 font: org.w3c.css.properties.css1.CssFontCSS1 color: org.w3c.css.properties.css1.CssColor + background-color: org.w3c.css.properties.css1.CssBackgroundColor background-image: org.w3c.css.properties.css1.CssBackgroundImage background-repeat: org.w3c.css.properties.css1.CssBackgroundRepeat background-attachment: org.w3c.css.properties.css1.CssBackgroundAttachment background-position: org.w3c.css.properties.css1.CssBackgroundPosition background: org.w3c.css.properties.css1.CssBackground + word-spacing: org.w3c.css.properties.css1.CssWordSpacing letter-spacing: org.w3c.css.properties.css1.CssLetterSpacing text-decoration: org.w3c.css.properties.css1.CssTextDecoration @@ -33,18 +35,20 @@ padding-left: org.w3c.css.properties.css1.CssPaddingLeft padding-right: org.w3c.css.properties.css1.CssPaddingRight padding: org.w3c.css.properties.css1.CssPadding -border-top-width: org.w3c.css.properties.css1.CssBorderTopWidthCSS1 -border-right-width: org.w3c.css.properties.css1.CssBorderRightWidthCSS1 -border-left-width: org.w3c.css.properties.css1.CssBorderLeftWidthCSS1 -border-bottom-width: org.w3c.css.properties.css1.CssBorderBottomWidthCSS1 -border-width: org.w3c.css.properties.css1.CssBorderWidthCSS1 -border-color: org.w3c.css.properties.css1.CssBorderColorCSS1 -border-style: org.w3c.css.properties.css1.CssBorderStyleCSS1 -border-top: org.w3c.css.properties.css1.CssBorderTopCSS1 -border-right: org.w3c.css.properties.css1.CssBorderRightCSS1 -border-left: org.w3c.css.properties.css1.CssBorderLeftCSS1 -border-bottom: org.w3c.css.properties.css1.CssBorderBottomCSS1 -border: org.w3c.css.properties.css1.CssBorderCSS1 + +border-top-width: org.w3c.css.properties.css1.CssBorderTopWidth +border-right-width: org.w3c.css.properties.css1.CssBorderRightWidth +border-left-width: org.w3c.css.properties.css1.CssBorderLeftWidth +border-bottom-width: org.w3c.css.properties.css1.CssBorderBottomWidth +border-width: org.w3c.css.properties.css1.CssBorderWidth +border-color: org.w3c.css.properties.css1.CssBorderColor +border-style: org.w3c.css.properties.css1.CssBorderStyle +border-top: org.w3c.css.properties.css1.CssBorderTop +border-right: org.w3c.css.properties.css1.CssBorderRight +border-left: org.w3c.css.properties.css1.CssBorderLeft +border-bottom: org.w3c.css.properties.css1.CssBorderBottom +border: org.w3c.css.properties.css1.CssBorder + width: org.w3c.css.properties.css1.CssWidth height: org.w3c.css.properties.css1.CssHeight float: org.w3c.css.properties.css1.CssFloat
Received on Wednesday, 25 April 2012 20:22:29 UTC