--- a/plugins/org.w3c.css/bin/org/w3c/css/properties/paged/PagedDefault.properties	Mon Aug 23 17:45:32 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-size.inherited:  false
-marks.inherited:  false
-page-break-before.inherited:  true
-page-break-after.inherited:  true
-page-break-inside.inherited:  true
-