plugins/org.w3c.css/bin/org/w3c/css/properties/css2/user/UserDefault.properties
changeset 476 20536eb3b9ff
parent 475 77edd0cbdfe0
child 477 b616697678bf
--- a/plugins/org.w3c.css/bin/org/w3c/css/properties/css2/user/UserDefault.properties	Mon Aug 23 17:45:32 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-cursor.inherited:  true
-outline.inherited:  false
-outline-color.inherited:  false
-outline-style.inherited:  false
-outline-width.inherited:  false