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

2002/css-validator/org/w3c/css/properties ATSCProperties.properties,1.11,1.12 CSS21Properties.properties,1.17,1.18 CSS2Properties.properties,1.18,1.19 CSS3Properties.properties,1.106,1.107 MobileProperties.properties,1.11,1.12 SVGTinyProperties.properties,1.4,1.5 TVProperties.properties,1.8,1.9

From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
Date: Tue, 25 Sep 2012 19:51:27 +0000
To: www-validator-cvs@w3.org
Message-Id: <E1TGbAj-0006Ch-30@lionel-hutz.w3.org>
Update of /sources/public/2002/css-validator/org/w3c/css/properties
In directory hutz:/tmp/cvs-serv23779

Modified Files:
	ATSCProperties.properties CSS21Properties.properties 
	CSS2Properties.properties CSS3Properties.properties 
	MobileProperties.properties SVGTinyProperties.properties 
	TVProperties.properties 
Log Message:
padding for CSS1/2/21 and CSS3

Index: CSS3Properties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS3Properties.properties,v
retrieving revision 1.106
retrieving revision 1.107
diff -u -d -r1.106 -r1.107
--- CSS3Properties.properties	5 Sep 2012 12:06:05 -0000	1.106
+++ CSS3Properties.properties	25 Sep 2012 19:51:24 -0000	1.107
@@ -114,11 +114,11 @@
 margin-left:                            org.w3c.css.properties.css1.CssMarginLeft
 margin-right:                           org.w3c.css.properties.css1.CssMarginRight
 margin:                                 org.w3c.css.properties.css1.CssMargin
-padding-top:                            org.w3c.css.properties.css3.CssPaddingTopCSS3
-padding-bottom:                         org.w3c.css.properties.css3.CssPaddingBottomCSS3
-padding-left:                           org.w3c.css.properties.css3.CssPaddingLeftCSS3
-padding-right:                          org.w3c.css.properties.css3.CssPaddingRightCSS3
-padding:                                org.w3c.css.properties.css3.CssPaddingCSS3
+padding-top:                            org.w3c.css.properties.css3.CssPaddingTop
+padding-bottom:                         org.w3c.css.properties.css3.CssPaddingBottom
+padding-left:                           org.w3c.css.properties.css3.CssPaddingLeft
+padding-right:                          org.w3c.css.properties.css3.CssPaddingRight
+padding:                                org.w3c.css.properties.css3.CssPadding
 
 width:                                  org.w3c.css.properties.css3.CssWidth
 min-width:                              org.w3c.css.properties.css3.CssMinWidthCSS3
@@ -248,9 +248,9 @@
 word-break-wrap:                        org.w3c.css.properties.css3.CssTextWrap
 round-clip:                             org.w3c.css.properties.css3.CssBackgroundClip
 
-@page.padding-left:                     org.w3c.css.properties.css3.CssPaddingLeftCSS3
-@page.padding-right:                    org.w3c.css.properties.css3.CssPaddingRightCSS3
-@page.padding:                          org.w3c.css.properties.css3.CssPaddingCSS3
+@page.padding-left:                     org.w3c.css.properties.css3.CssPaddingLeft
+@page.padding-right:                    org.w3c.css.properties.css3.CssPaddingRight
+@page.padding:                          org.w3c.css.properties.css3.CssPadding
 @page.border-top-width:                 org.w3c.css.properties.css1.CssBorderTopWidth
 @page.border-right-width:               org.w3c.css.properties.css1.CssBorderRightWidth
 @page.border-left-width:                org.w3c.css.properties.css1.CssBorderLeftWidth
@@ -290,7 +290,7 @@
 @page.page:                             org.w3c.css.properties.paged.Page
 @page.orphans:                          org.w3c.css.properties.paged.Orphans
 @page.widows:                           org.w3c.css.properties.paged.Widows
-@page.padding-bottom:                   org.w3c.css.properties.css3.CssPaddingBottomCSS3
+@page.padding-bottom:                   org.w3c.css.properties.css3.CssPaddingBottom
 
 @font-face.unicode-range:               org.w3c.css.properties.css2.font.UnicodeRange
 @font-face.units-per-em:                org.w3c.css.properties.css2.font.UnitsPerEm

Index: CSS2Properties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS2Properties.properties,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -d -r1.18 -r1.19
--- CSS2Properties.properties	4 Sep 2012 09:37:39 -0000	1.18
+++ CSS2Properties.properties	25 Sep 2012 19:51:24 -0000	1.19
@@ -53,11 +53,11 @@
 margin-left:                    org.w3c.css.properties.css1.CssMarginLeft
 margin-right:                   org.w3c.css.properties.css1.CssMarginRight
 margin:                         org.w3c.css.properties.css1.CssMargin
-padding-top:                    org.w3c.css.properties.css1.CssPaddingTop
-padding-bottom:                 org.w3c.css.properties.css1.CssPaddingBottom
-padding-left:                   org.w3c.css.properties.css1.CssPaddingLeft
-padding-right:                  org.w3c.css.properties.css1.CssPaddingRight
-padding:                        org.w3c.css.properties.css1.CssPadding
+padding-top:                    org.w3c.css.properties.css2.CssPaddingTop
+padding-bottom:                 org.w3c.css.properties.css2.CssPaddingBottom
+padding-left:                   org.w3c.css.properties.css2.CssPaddingLeft
+padding-right:                  org.w3c.css.properties.css2.CssPaddingRight
+padding:                        org.w3c.css.properties.css2.CssPadding
 
 width:                          org.w3c.css.properties.css2.CssWidth
 min-width:                      org.w3c.css.properties.css1.CssMinWidth
@@ -139,31 +139,31 @@
 @page.margin-left:              org.w3c.css.properties.css1.CssMarginLeft
 @page.margin-right:             org.w3c.css.properties.css1.CssMarginRight
 @page.margin:                   org.w3c.css.properties.css1.CssMargin
-@page.padding-top:              org.w3c.css.properties.css1.CssPaddingTop
-@page.padding-bottom:           org.w3c.css.properties.css1.CssPaddingBottom
-@page.padding-left:             org.w3c.css.properties.css1.CssPaddingLeft
-@page.padding-right:            org.w3c.css.properties.css1.CssPaddingRight
-@page.padding:                  org.w3c.css.properties.css1.CssPadding
-@page.border-top-width:         org.w3c.css.properties.css1.CssBorderTopWidthCSS2
-@page.border-right-width:       org.w3c.css.properties.css1.CssBorderRightWidthCSS2
-@page.border-left-width:        org.w3c.css.properties.css1.CssBorderLeftWidthCSS2
-@page.border-bottom-width:      org.w3c.css.properties.css1.CssBorderBottomWidthCSS2
-@page.border-top-color:         org.w3c.css.properties.css1.CssBorderTopColorCSS2
-@page.border-right-color:       org.w3c.css.properties.css1.CssBorderRightColorCSS2
-@page.border-left-color:        org.w3c.css.properties.css1.CssBorderLeftColorCSS2
-@page.border-bottom-color:      org.w3c.css.properties.css1.CssBorderBottomColorCSS2
-@page.border-top-style:         org.w3c.css.properties.css1.CssBorderTopStyleCSS2
-@page.border-right-style:       org.w3c.css.properties.css1.CssBorderRightStyleCSS2
-@page.border-left-style:        org.w3c.css.properties.css1.CssBorderLeftStyleCSS2
-@page.border-bottom-style:      org.w3c.css.properties.css1.CssBorderBottomStyleCSS2
-@page.border-width:             org.w3c.css.properties.css1.CssBorderWidthCSS2
-@page.border-color:             org.w3c.css.properties.css1.CssBorderColorCSS2
-@page.border-style:             org.w3c.css.properties.css1.CssBorderStyleCSS2
-@page.border-top:               org.w3c.css.properties.css1.CssBorderTopCSS2
-@page.border-right:             org.w3c.css.properties.css1.CssBorderRightCSS2
-@page.border-left:              org.w3c.css.properties.css1.CssBorderLeftCSS2
-@page.border-bottom:            org.w3c.css.properties.css1.CssBorderBottomCSS2
-@page.border:                   org.w3c.css.properties.css1.CssBorderCSS2
+@page.padding-top:              org.w3c.css.properties.css2.CssPaddingTop
+@page.padding-bottom:           org.w3c.css.properties.css2.CssPaddingBottom
+@page.padding-left:             org.w3c.css.properties.css2.CssPaddingLeft
+@page.padding-right:            org.w3c.css.properties.css2.CssPaddingRight
+@page.padding:                  org.w3c.css.properties.css2.CssPadding
+@page.border-top-width:         org.w3c.css.properties.css2.CssBorderTopWidth
+@page.border-right-width:       org.w3c.css.properties.css2.CssBorderRightWidth
+@page.border-left-width:        org.w3c.css.properties.css2.CssBorderLeftWidth
+@page.border-bottom-width:      org.w3c.css.properties.css2.CssBorderBottomWidth
+@page.border-top-color:         org.w3c.css.properties.css2.CssBorderTopColor
+@page.border-right-color:       org.w3c.css.properties.css2.CssBorderRightColor
+@page.border-left-color:        org.w3c.css.properties.css2.CssBorderLeftColor
+@page.border-bottom-color:      org.w3c.css.properties.css2.CssBorderBottomColor
+@page.border-top-style:         org.w3c.css.properties.css2.CssBorderTopStyle
+@page.border-right-style:       org.w3c.css.properties.css2.CssBorderRightStyle
+@page.border-left-style:        org.w3c.css.properties.css2.CssBorderLeftStyle
+@page.border-bottom-style:      org.w3c.css.properties.css2.CssBorderBottomStyle
+@page.border-width:             org.w3c.css.properties.css2.CssBorderWidth
+@page.border-color:             org.w3c.css.properties.css2.CssBorderColor
+@page.border-style:             org.w3c.css.properties.css2.CssBorderStyle
+@page.border-top:               org.w3c.css.properties.css2.CssBorderTop
+@page.border-right:             org.w3c.css.properties.css2.CssBorderRight
+@page.border-left:              org.w3c.css.properties.css2.CssBorderLeft
+@page.border-bottom:            org.w3c.css.properties.css2.CssBorderBottom
+@page.border:                   org.w3c.css.properties.css2.CssBorder
 @page.display:                  org.w3c.css.properties.css2.CssDisplay
 @page.position:                 org.w3c.css.properties.css1.CssPosition
 @page.z-index:                  org.w3c.css.properties.css2.CssZIndex

Index: SVGTinyProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/SVGTinyProperties.properties,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -d -r1.4 -r1.5
--- SVGTinyProperties.properties	4 Aug 2012 21:17:03 -0000	1.4
+++ SVGTinyProperties.properties	25 Sep 2012 19:51:24 -0000	1.5
@@ -1,5 +1,5 @@
 color:                          org.w3c.css.properties.css3.CssColor
-display:                        org.w3c.css.properties.css.CssDisplay
+display:                        org.w3c.css.properties.css21.CssDisplay
 fill:                           org.w3c.css.properties.svg.Fill
 fill-rule:                      org.w3c.css.properties.svg.FillRule
 font:                           org.w3c.css.properties.css21.CssFont

Index: MobileProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/MobileProperties.properties,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -d -r1.11 -r1.12
--- MobileProperties.properties	31 Aug 2012 12:25:43 -0000	1.11
+++ MobileProperties.properties	25 Sep 2012 19:51:24 -0000	1.12
@@ -23,31 +23,31 @@
 margin-left:                    org.w3c.css.properties.css1.CssMarginLeft
 margin-right:                   org.w3c.css.properties.css1.CssMarginRight
 margin:                         org.w3c.css.properties.css1.CssMargin
-padding-top:                    org.w3c.css.properties.css1.CssPaddingTop
-padding-bottom:                 org.w3c.css.properties.css1.CssPaddingBottom
-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
+padding-top:                    org.w3c.css.properties.css2.CssPaddingTop
+padding-bottom:                 org.w3c.css.properties.css2.CssPaddingBottom
+padding-left:                   org.w3c.css.properties.css2.CssPaddingLeft
+padding-right:                  org.w3c.css.properties.css2.CssPaddingRight
+padding:                        org.w3c.css.properties.css2.CssPadding
+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
 width:                          org.w3c.css.properties.css1.CssWidthMob
 height:                         org.w3c.css.properties.css1.CssHeightMob
 float:                          org.w3c.css.properties.css1.CssFloat
@@ -139,31 +139,31 @@
 @page.margin-left:              org.w3c.css.properties.css1.CssMarginLeft
 @page.margin-right:             org.w3c.css.properties.css1.CssMarginRight
 @page.margin:                   org.w3c.css.properties.css1.CssMargin
-@page.padding-top:              org.w3c.css.properties.css1.CssPaddingTop
-@page.padding-bottom:           org.w3c.css.properties.css1.CssPaddingBottom
-@page.padding-left:             org.w3c.css.properties.css1.CssPaddingLeft
-@page.padding-right:            org.w3c.css.properties.css1.CssPaddingRight
-@page.padding:                  org.w3c.css.properties.css1.CssPadding
-@page.border-top-width:         org.w3c.css.properties.css1.CssBorderTopWidthCSS2
-@page.border-right-width:       org.w3c.css.properties.css1.CssBorderRightWidthCSS2
-@page.border-left-width:        org.w3c.css.properties.css1.CssBorderLeftWidthCSS2
-@page.border-bottom-width:      org.w3c.css.properties.css1.CssBorderBottomWidthCSS2
-@page.border-top-color:         org.w3c.css.properties.css1.CssBorderTopColorCSS2
-@page.border-right-color:       org.w3c.css.properties.css1.CssBorderRightColorCSS2
-@page.border-left-color:        org.w3c.css.properties.css1.CssBorderLeftColorCSS2
-@page.border-bottom-color:      org.w3c.css.properties.css1.CssBorderBottomColorCSS2
-@page.border-top-style:         org.w3c.css.properties.css1.CssBorderTopStyleCSS2
-@page.border-right-style:       org.w3c.css.properties.css1.CssBorderRightStyleCSS2
-@page.border-left-style:        org.w3c.css.properties.css1.CssBorderLeftStyleCSS2
-@page.border-bottom-style:      org.w3c.css.properties.css1.CssBorderBottomStyleCSS2
-@page.border-width:             org.w3c.css.properties.css1.CssBorderWidthCSS2
-@page.border-color:             org.w3c.css.properties.css1.CssBorderColorCSS2
-@page.border-style:             org.w3c.css.properties.css1.CssBorderStyleCSS2
-@page.border-top:               org.w3c.css.properties.css1.CssBorderTopCSS2
-@page.border-right:             org.w3c.css.properties.css1.CssBorderRightCSS2
-@page.border-left:              org.w3c.css.properties.css1.CssBorderLeftCSS2
-@page.border-bottom:            org.w3c.css.properties.css1.CssBorderBottomCSS2
-@page.border:                   org.w3c.css.properties.css1.CssBorderCSS2
+@page.padding-top:              org.w3c.css.properties.css2.CssPaddingTop
+@page.padding-bottom:           org.w3c.css.properties.css2.CssPaddingBottom
+@page.padding-left:             org.w3c.css.properties.css2.CssPaddingLeft
+@page.padding-right:            org.w3c.css.properties.css2.CssPaddingRight
+@page.padding:                  org.w3c.css.properties.css2.CssPadding
+@page.border-top-width:         org.w3c.css.properties.css2.CssBorderTopWidth
+@page.border-right-width:       org.w3c.css.properties.css2.CssBorderRightWidth
+@page.border-left-width:        org.w3c.css.properties.css2.CssBorderLeftWidth
+@page.border-bottom-width:      org.w3c.css.properties.css2.CssBorderBottomWidth
+@page.border-top-color:         org.w3c.css.properties.css2.CssBorderTopColor
+@page.border-right-color:       org.w3c.css.properties.css2.CssBorderRightColor
+@page.border-left-color:        org.w3c.css.properties.css2.CssBorderLeftColor
+@page.border-bottom-color:      org.w3c.css.properties.css2.CssBorderBottomColor
+@page.border-top-style:         org.w3c.css.properties.css2.CssBorderTopStyle
+@page.border-right-style:       org.w3c.css.properties.css2.CssBorderRightStyle
+@page.border-left-style:        org.w3c.css.properties.css2.CssBorderLeftStyle
+@page.border-bottom-style:      org.w3c.css.properties.css2.CssBorderBottomStyle
+@page.border-width:             org.w3c.css.properties.css2.CssBorderWidth
+@page.border-color:             org.w3c.css.properties.css2.CssBorderColor
+@page.border-style:             org.w3c.css.properties.css2.CssBorderStyle
+@page.border-top:               org.w3c.css.properties.css2.CssBorderTop
+@page.border-right:             org.w3c.css.properties.css2.CssBorderRight
+@page.border-left:              org.w3c.css.properties.css2.CssBorderLeft
+@page.border-bottom:            org.w3c.css.properties.css2.CssBorderBottom
+@page.border:                   org.w3c.css.properties.css2.CssBorder
 @page.float:                    org.w3c.css.properties.css1.CssFloat
 @page.clear:                    org.w3c.css.properties.css1.CssClear
 @page.display:                  org.w3c.css.properties.css21.CssDisplay

Index: ATSCProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/ATSCProperties.properties,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -d -r1.11 -r1.12
--- ATSCProperties.properties	3 Sep 2012 20:34:42 -0000	1.11
+++ ATSCProperties.properties	25 Sep 2012 19:51:24 -0000	1.12
@@ -4,31 +4,31 @@
 @page.margin-left:           org.w3c.css.properties.css1.CssMarginLeft
 @page.margin-right:          org.w3c.css.properties.css1.CssMarginRight
 @page.margin:                org.w3c.css.properties.css1.CssMargin
-@page.padding-top:           org.w3c.css.properties.css1.CssPaddingTop
-@page.padding-bottom:        org.w3c.css.properties.css1.CssPaddingBottom
-@page.padding-left:          org.w3c.css.properties.css1.CssPaddingLeft
-@page.padding-right:         org.w3c.css.properties.css1.CssPaddingRight
-@page.padding:               org.w3c.css.properties.css1.CssPadding
-@page.border-top-width:      org.w3c.css.properties.css1.CssBorderTopWidthCSS2
-@page.border-right-width:    org.w3c.css.properties.css1.CssBorderRightWidthCSS2
-@page.border-left-width:     org.w3c.css.properties.css1.CssBorderLeftWidthCSS2
-@page.border-bottom-width:   org.w3c.css.properties.css1.CssBorderBottomWidthCSS2
-@page.border-top-color:      org.w3c.css.properties.css1.CssBorderTopColorCSS2
-@page.border-right-color:    org.w3c.css.properties.css1.CssBorderRightColorCSS2
-@page.border-left-color:     org.w3c.css.properties.css1.CssBorderLeftColorCSS2
-@page.border-bottom-color:   org.w3c.css.properties.css1.CssBorderBottomColorCSS2
-@page.border-top-style:      org.w3c.css.properties.css1.CssBorderTopStyleCSS2
-@page.border-right-style:    org.w3c.css.properties.css1.CssBorderRightStyleCSS2
-@page.border-left-style:     org.w3c.css.properties.css1.CssBorderLeftStyleCSS2
-@page.border-bottom-style:   org.w3c.css.properties.css1.CssBorderBottomStyleCSS2
-@page.border-width:          org.w3c.css.properties.css1.CssBorderWidthCSS2
-@page.border-color:          org.w3c.css.properties.css1.CssBorderColorCSS2
-@page.border-style:          org.w3c.css.properties.css1.CssBorderStyleCSS2
-@page.border-top:            org.w3c.css.properties.css1.CssBorderTopCSS2
-@page.border-right:          org.w3c.css.properties.css1.CssBorderRightCSS2
-@page.border-left:           org.w3c.css.properties.css1.CssBorderLeftCSS2
-@page.border-bottom:         org.w3c.css.properties.css1.CssBorderBottomCSS2
-@page.border:                org.w3c.css.properties.css1.CssBorderCSS2
+@page.padding-top:           org.w3c.css.properties.css2.CssPaddingTop
+@page.padding-bottom:        org.w3c.css.properties.css2.CssPaddingBottom
+@page.padding-left:          org.w3c.css.properties.css2.CssPaddingLeft
+@page.padding-right:         org.w3c.css.properties.css2.CssPaddingRight
+@page.padding:               org.w3c.css.properties.css2.CssPadding
+@page.border-top-width:      org.w3c.css.properties.css2.CssBorderTopWidth
+@page.border-right-width:    org.w3c.css.properties.css2.CssBorderRightWidth
+@page.border-left-width:     org.w3c.css.properties.css2.CssBorderLeftWidth
+@page.border-bottom-width:   org.w3c.css.properties.css2.CssBorderBottomWidth
+@page.border-top-color:      org.w3c.css.properties.css2.CssBorderTopColor
+@page.border-right-color:    org.w3c.css.properties.css2.CssBorderRightColor
+@page.border-left-color:     org.w3c.css.properties.css2.CssBorderLeftColor
+@page.border-bottom-color:   org.w3c.css.properties.css2.CssBorderBottomColor
+@page.border-top-style:      org.w3c.css.properties.css2.CssBorderTopStyle
+@page.border-right-style:    org.w3c.css.properties.css2.CssBorderRightStyle
+@page.border-left-style:     org.w3c.css.properties.css2.CssBorderLeftStyle
+@page.border-bottom-style:   org.w3c.css.properties.css2.CssBorderBottomStyle
+@page.border-width:          org.w3c.css.properties.css2.CssBorderWidth
+@page.border-color:          org.w3c.css.properties.css2.CssBorderColor
+@page.border-style:          org.w3c.css.properties.css2.CssBorderStyle
+@page.border-top:            org.w3c.css.properties.css2.CssBorderTop
+@page.border-right:          org.w3c.css.properties.css2.CssBorderRight
+@page.border-left:           org.w3c.css.properties.css2.CssBorderLeft
+@page.border-bottom:         org.w3c.css.properties.css2.CssBorderBottom
+@page.border:                org.w3c.css.properties.css2.CssBorder
 @page.display:               org.w3c.css.properties.css.CssDisplay
 @page.position:              org.w3c.css.properties.css1.CssPosition
 @page.z-index:               org.w3c.css.properties.css21.CssZIndex
@@ -109,11 +109,11 @@
 margin-left:           org.w3c.css.properties.css1.CssMarginLeft
 margin-right:          org.w3c.css.properties.css1.CssMarginRight
 margin:                org.w3c.css.properties.css1.CssMargin
-padding-top:           org.w3c.css.properties.css1.CssPaddingTop
-padding-bottom:        org.w3c.css.properties.css1.CssPaddingBottom
-padding-left:          org.w3c.css.properties.css1.CssPaddingLeft
-padding-right:         org.w3c.css.properties.css1.CssPaddingRight
-padding:               org.w3c.css.properties.css1.CssPadding
+padding-top:           org.w3c.css.properties.css2.CssPaddingTop
+padding-bottom:        org.w3c.css.properties.css2.CssPaddingBottom
+padding-left:          org.w3c.css.properties.css2.CssPaddingLeft
+padding-right:         org.w3c.css.properties.css2.CssPaddingRight
+padding:               org.w3c.css.properties.css2.CssPadding
 border-top-width:      org.w3c.css.properties.atsc.CssBorderTopWidthATSC
 border-right-width:    org.w3c.css.properties.atsc.CssBorderRightWidthATSC
 border-left-width:     org.w3c.css.properties.atsc.CssBorderLeftWidthATSC

Index: TVProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/TVProperties.properties,v
retrieving revision 1.8
retrieving revision 1.9
diff -u -d -r1.8 -r1.9
--- TVProperties.properties	3 Sep 2012 20:35:12 -0000	1.8
+++ TVProperties.properties	25 Sep 2012 19:51:24 -0000	1.9
@@ -54,11 +54,11 @@
 outline-width:         org.w3c.css.user.OutlineWidth
 outline-style:         org.w3c.css.user.OutlineStyle
 outline-color:         org.w3c.css.user.OutlineColor
-padding-top:           org.w3c.css.properties.css1.CssPaddingTop
-padding-bottom:        org.w3c.css.properties.css1.CssPaddingBottom
-padding-left:          org.w3c.css.properties.css1.CssPaddingLeft
-padding-right:         org.w3c.css.properties.css1.CssPaddingRight
-padding:               org.w3c.css.properties.css1.CssPadding
+padding-top:           org.w3c.css.properties.css2.CssPaddingTop
+padding-bottom:        org.w3c.css.properties.css2.CssPaddingBottom
+padding-left:          org.w3c.css.properties.css2.CssPaddingLeft
+padding-right:         org.w3c.css.properties.css2.CssPaddingRight
+padding:               org.w3c.css.properties.css2.CssPadding
 position:              org.w3c.css.properties.css1.CssPositionTV
 right:                 org.w3c.css.properties.css1.CssRight
 text-decoration:       org.w3c.css.properties.css1.CssTextDecorationTV

Index: CSS21Properties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS21Properties.properties,v
retrieving revision 1.17
retrieving revision 1.18
diff -u -d -r1.17 -r1.18
--- CSS21Properties.properties	4 Sep 2012 09:37:39 -0000	1.17
+++ CSS21Properties.properties	25 Sep 2012 19:51:24 -0000	1.18
@@ -52,11 +52,11 @@
 margin-left:                    org.w3c.css.properties.css1.CssMarginLeft
 margin-right:                   org.w3c.css.properties.css1.CssMarginRight
 margin:                         org.w3c.css.properties.css1.CssMargin
-padding-top:                    org.w3c.css.properties.css1.CssPaddingTop
-padding-bottom:                 org.w3c.css.properties.css1.CssPaddingBottom
-padding-left:                   org.w3c.css.properties.css1.CssPaddingLeft
-padding-right:                  org.w3c.css.properties.css1.CssPaddingRight
-padding:                        org.w3c.css.properties.css1.CssPadding
+padding-top:                    org.w3c.css.properties.css21.CssPaddingTop
+padding-bottom:                 org.w3c.css.properties.css21.CssPaddingBottom
+padding-left:                   org.w3c.css.properties.css21.CssPaddingLeft
+padding-right:                  org.w3c.css.properties.css21.CssPaddingRight
+padding:                        org.w3c.css.properties.css21.CssPadding
 width:                          org.w3c.css.properties.css21.CssWidth
 min-width:                      org.w3c.css.properties.css1.CssMinWidth
 max-width:                      org.w3c.css.properties.css1.CssMaxWidth
@@ -137,11 +137,11 @@
 @page.margin-left:              org.w3c.css.properties.css1.CssMarginLeft
 @page.margin-right:             org.w3c.css.properties.css1.CssMarginRight
 @page.margin:                   org.w3c.css.properties.css1.CssMargin
-@page.padding-top:              org.w3c.css.properties.css1.CssPaddingTop
-@page.padding-bottom:           org.w3c.css.properties.css1.CssPaddingBottom
-@page.padding-left:             org.w3c.css.properties.css1.CssPaddingLeft
-@page.padding-right:            org.w3c.css.properties.css1.CssPaddingRight
-@page.padding:                  org.w3c.css.properties.css1.CssPadding
+@page.padding-top:              org.w3c.css.properties.css21.CssPaddingTop
+@page.padding-bottom:           org.w3c.css.properties.css21.CssPaddingBottom
+@page.padding-left:             org.w3c.css.properties.css21.CssPaddingLeft
+@page.padding-right:            org.w3c.css.properties.css21.CssPaddingRight
+@page.padding:                  org.w3c.css.properties.css21.CssPadding
 @page.border-top-width:         org.w3c.css.properties.css1.CssBorderTopWidthCSS2
 @page.border-right-width:       org.w3c.css.properties.css1.CssBorderRightWidthCSS2
 @page.border-left-width:        org.w3c.css.properties.css1.CssBorderLeftWidthCSS2
Received on Tuesday, 25 September 2012 19:51:59 UTC

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