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

2002/css-validator/org/w3c/css/properties ATSCProperties.properties,1.12,1.13 CSS21Properties.properties,1.18,1.19 CSS2Properties.properties,1.20,1.21 CSS3Properties.properties,1.107,1.108 MobileProperties.properties,1.12,1.13 TVProperties.properties,1.9,1.10

From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
Date: Wed, 26 Sep 2012 08:43:54 +0000
To: www-validator-cvs@w3.org
Message-Id: <E1TGnDm-0000Cn-QJ@lionel-hutz.w3.org>
Update of /sources/public/2002/css-validator/org/w3c/css/properties
In directory hutz:/tmp/cvs-serv695

Modified Files:
	ATSCProperties.properties CSS21Properties.properties 
	CSS2Properties.properties CSS3Properties.properties 
	MobileProperties.properties TVProperties.properties 
Log Message:
margin-* per css1/css2/css21/css3-box

Index: CSS3Properties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS3Properties.properties,v
retrieving revision 1.107
retrieving revision 1.108
diff -u -d -r1.107 -r1.108
--- CSS3Properties.properties	25 Sep 2012 19:51:24 -0000	1.107
+++ CSS3Properties.properties	26 Sep 2012 08:43:52 -0000	1.108
@@ -109,11 +109,11 @@
 letter-spacing:                         org.w3c.css.properties.css3.CssLetterSpacing
 vertical-align:                         org.w3c.css.properties.css1.CssVerticalAlign
 line-height:                            org.w3c.css.properties.css3.CssLineHeight
-margin-top:                             org.w3c.css.properties.css1.CssMarginTop
-margin-bottom:                          org.w3c.css.properties.css1.CssMarginBottom
-margin-left:                            org.w3c.css.properties.css1.CssMarginLeft
-margin-right:                           org.w3c.css.properties.css1.CssMarginRight
-margin:                                 org.w3c.css.properties.css1.CssMargin
+margin-top:                             org.w3c.css.properties.css3.CssMarginTop
+margin-bottom:                          org.w3c.css.properties.css3.CssMarginBottom
+margin-left:                            org.w3c.css.properties.css3.CssMarginLeft
+margin-right:                           org.w3c.css.properties.css3.CssMarginRight
+margin:                                 org.w3c.css.properties.css3.CssMargin
 padding-top:                            org.w3c.css.properties.css3.CssPaddingTop
 padding-bottom:                         org.w3c.css.properties.css3.CssPaddingBottom
 padding-left:                           org.w3c.css.properties.css3.CssPaddingLeft

Index: CSS2Properties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS2Properties.properties,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -d -r1.20 -r1.21
--- CSS2Properties.properties	25 Sep 2012 19:53:55 -0000	1.20
+++ CSS2Properties.properties	26 Sep 2012 08:43:52 -0000	1.21
@@ -48,11 +48,11 @@
 text-align:                     org.w3c.css.properties.css2.CssTextAlign
 text-indent:                    org.w3c.css.properties.css2.CssTextIndent
 line-height:                    org.w3c.css.properties.css2.CssLineHeight
-margin-top:                     org.w3c.css.properties.css1.CssMarginTop
-margin-bottom:                  org.w3c.css.properties.css1.CssMarginBottom
-margin-left:                    org.w3c.css.properties.css1.CssMarginLeft
-margin-right:                   org.w3c.css.properties.css1.CssMarginRight
-margin:                         org.w3c.css.properties.css1.CssMargin
+margin-top:                     org.w3c.css.properties.css2.CssMarginTop
+margin-bottom:                  org.w3c.css.properties.css2.CssMarginBottom
+margin-left:                    org.w3c.css.properties.css2.CssMarginLeft
+margin-right:                   org.w3c.css.properties.css2.CssMarginRight
+margin:                         org.w3c.css.properties.css2.CssMargin
 padding-top:                    org.w3c.css.properties.css2.CssPaddingTop
 padding-bottom:                 org.w3c.css.properties.css2.CssPaddingBottom
 padding-left:                   org.w3c.css.properties.css2.CssPaddingLeft
@@ -134,11 +134,11 @@
 azimuth:                        org.w3c.css.properties.css2.CssAzimuth
 
 # Paged properties
-@page.margin-top:               org.w3c.css.properties.css1.CssMarginTop
-@page.margin-bottom:            org.w3c.css.properties.css1.CssMarginBottom
-@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.margin-top:               org.w3c.css.properties.css2.CssMarginTop
+@page.margin-bottom:            org.w3c.css.properties.css2.CssMarginBottom
+@page.margin-left:              org.w3c.css.properties.css2.CssMarginLeft
+@page.margin-right:             org.w3c.css.properties.css2.CssMarginRight
+@page.margin:                   org.w3c.css.properties.css2.CssMargin
 @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

Index: MobileProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/MobileProperties.properties,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -d -r1.12 -r1.13
--- MobileProperties.properties	25 Sep 2012 19:51:24 -0000	1.12
+++ MobileProperties.properties	26 Sep 2012 08:43:52 -0000	1.13
@@ -18,11 +18,11 @@
 text-transform:                 org.w3c.css.properties.css2.CssTextTransform
 text-align:                     org.w3c.css.properties.css1.CssTextAlignMob
 text-indent:                    org.w3c.css.properties.css1.CssTextIndentMob
-margin-top:                     org.w3c.css.properties.css1.CssMarginTop
-margin-bottom:                  org.w3c.css.properties.css1.CssMarginBottom
-margin-left:                    org.w3c.css.properties.css1.CssMarginLeft
-margin-right:                   org.w3c.css.properties.css1.CssMarginRight
-margin:                         org.w3c.css.properties.css1.CssMargin
+margin-top:                     org.w3c.css.properties.css2.CssMarginTop
+margin-bottom:                  org.w3c.css.properties.css2.CssMarginBottom
+margin-left:                    org.w3c.css.properties.css2.CssMarginLeft
+margin-right:                   org.w3c.css.properties.css2.CssMarginRight
+margin:                         org.w3c.css.properties.css2.CssMargin
 padding-top:                    org.w3c.css.properties.css2.CssPaddingTop
 padding-bottom:                 org.w3c.css.properties.css2.CssPaddingBottom
 padding-left:                   org.w3c.css.properties.css2.CssPaddingLeft
@@ -134,11 +134,11 @@
 @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.margin-top:               org.w3c.css.properties.css1.CssMarginTop
-@page.margin-bottom:            org.w3c.css.properties.css1.CssMarginBottom
-@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.margin-top:               org.w3c.css.properties.css2.CssMarginTop
+@page.margin-bottom:            org.w3c.css.properties.css2.CssMarginBottom
+@page.margin-left:              org.w3c.css.properties.css2.CssMarginLeft
+@page.margin-right:             org.w3c.css.properties.css2.CssMarginRight
+@page.margin:                   org.w3c.css.properties.css2.CssMargin
 @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

Index: ATSCProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/ATSCProperties.properties,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -d -r1.12 -r1.13
--- ATSCProperties.properties	25 Sep 2012 19:51:24 -0000	1.12
+++ ATSCProperties.properties	26 Sep 2012 08:43:52 -0000	1.13
@@ -1,9 +1,9 @@
 # Paged properties
-@page.margin-top:            org.w3c.css.properties.css1.CssMarginTop
-@page.margin-bottom:         org.w3c.css.properties.css1.CssMarginBottom
-@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.margin-top:            org.w3c.css.properties.css2.CssMarginTop
+@page.margin-bottom:         org.w3c.css.properties.css2.CssMarginBottom
+@page.margin-left:           org.w3c.css.properties.css2.CssMarginLeft
+@page.margin-right:          org.w3c.css.properties.css2.CssMarginRight
+@page.margin:                org.w3c.css.properties.css2.CssMargin
 @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
@@ -104,11 +104,11 @@
 text-align:            org.w3c.css.properties.css2.CssTextAlign
 text-indent:           org.w3c.css.properties.css2.CssTextIndent
 line-height:           org.w3c.css.properties.css2.CssLineHeight
-margin-top:            org.w3c.css.properties.css1.CssMarginTop
-margin-bottom:         org.w3c.css.properties.css1.CssMarginBottom
-margin-left:           org.w3c.css.properties.css1.CssMarginLeft
-margin-right:          org.w3c.css.properties.css1.CssMarginRight
-margin:                org.w3c.css.properties.css1.CssMargin
+margin-top:            org.w3c.css.properties.css2.CssMarginTop
+margin-bottom:         org.w3c.css.properties.css2.CssMarginBottom
+margin-left:           org.w3c.css.properties.css2.CssMarginLeft
+margin-right:          org.w3c.css.properties.css2.CssMarginRight
+margin:                org.w3c.css.properties.css2.CssMargin
 padding-top:           org.w3c.css.properties.css2.CssPaddingTop
 padding-bottom:        org.w3c.css.properties.css2.CssPaddingBottom
 padding-left:          org.w3c.css.properties.css2.CssPaddingLeft

Index: TVProperties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/TVProperties.properties,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -d -r1.9 -r1.10
--- TVProperties.properties	25 Sep 2012 19:51:24 -0000	1.9
+++ TVProperties.properties	26 Sep 2012 08:43:52 -0000	1.10
@@ -45,11 +45,11 @@
 list-style-position:   org.w3c.css.properties.css1.CssListStylePositionCSS2
 list-style:            org.w3c.css.properties.css1.CssListStyleCSS2
 list-style-type:       org.w3c.css.properties.css1.CssListStyleTypeTV
-margin-top:            org.w3c.css.properties.css1.CssMarginTop
-margin-bottom:         org.w3c.css.properties.css1.CssMarginBottom
-margin-left:           org.w3c.css.properties.css1.CssMarginLeft
-margin-right:          org.w3c.css.properties.css1.CssMarginRight
-margin:                org.w3c.css.properties.css1.CssMargin
+margin-top:            org.w3c.css.properties.css2.CssMarginTop
+margin-bottom:         org.w3c.css.properties.css2.CssMarginBottom
+margin-left:           org.w3c.css.properties.css2.CssMarginLeft
+margin-right:          org.w3c.css.properties.css2.CssMarginRight
+margin:                org.w3c.css.properties.css2.CssMargin
 outline:               org.w3c.css.user.Outline
 outline-width:         org.w3c.css.user.OutlineWidth
 outline-style:         org.w3c.css.user.OutlineStyle

Index: CSS21Properties.properties
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/properties/CSS21Properties.properties,v
retrieving revision 1.18
retrieving revision 1.19
diff -u -d -r1.18 -r1.19
--- CSS21Properties.properties	25 Sep 2012 19:51:24 -0000	1.18
+++ CSS21Properties.properties	26 Sep 2012 08:43:52 -0000	1.19
@@ -47,11 +47,11 @@
 text-align:                     org.w3c.css.properties.css21.CssTextAlign
 text-indent:                    org.w3c.css.properties.css21.CssTextIndent
 line-height:                    org.w3c.css.properties.css21.CssLineHeight
-margin-top:                     org.w3c.css.properties.css1.CssMarginTop
-margin-bottom:                  org.w3c.css.properties.css1.CssMarginBottom
-margin-left:                    org.w3c.css.properties.css1.CssMarginLeft
-margin-right:                   org.w3c.css.properties.css1.CssMarginRight
-margin:                         org.w3c.css.properties.css1.CssMargin
+margin-top:                     org.w3c.css.properties.css21.CssMarginTop
+margin-bottom:                  org.w3c.css.properties.css21.CssMarginBottom
+margin-left:                    org.w3c.css.properties.css21.CssMarginLeft
+margin-right:                   org.w3c.css.properties.css21.CssMarginRight
+margin:                         org.w3c.css.properties.css21.CssMargin
 padding-top:                    org.w3c.css.properties.css21.CssPaddingTop
 padding-bottom:                 org.w3c.css.properties.css21.CssPaddingBottom
 padding-left:                   org.w3c.css.properties.css21.CssPaddingLeft
@@ -132,11 +132,11 @@
 azimuth:                        org.w3c.css.properties.css21.CssAzimuth
 
 # Paged properties
-@page.margin-top:               org.w3c.css.properties.css1.CssMarginTop
-@page.margin-bottom:            org.w3c.css.properties.css1.CssMarginBottom
-@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.margin-top:               org.w3c.css.properties.css21.CssMarginTop
+@page.margin-bottom:            org.w3c.css.properties.css21.CssMarginBottom
+@page.margin-left:              org.w3c.css.properties.css21.CssMarginLeft
+@page.margin-right:             org.w3c.css.properties.css21.CssMarginRight
+@page.margin:                   org.w3c.css.properties.css21.CssMargin
 @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
Received on Wednesday, 26 September 2012 08:43:56 UTC

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