W3C home > Mailing lists > Public > www-validator-cvs@w3.org > April 2012

2002/css-validator/org/w3c/css/properties CSS1Properties.properties,1.7,1.8 CSS21Properties.properties,1.11,1.12 CSS2Properties.properties,1.11,1.12 CSS3Properties.properties,1.27,1.28

From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
Date: Wed, 25 Apr 2012 20:21:55 +0000
To: www-validator-cvs@w3.org
Message-Id: <E1SN8jJ-0006K6-JK@lionel-hutz.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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:17:49 UTC