RelaxNG/publidoc.rnc
changeset 22 94b8e4454c47
parent 20 79713ffae179
child 24 53a80accc248
--- a/RelaxNG/publidoc.rnc	dim. juin 12 16:02:23 2011 +0200
+++ b/RelaxNG/publidoc.rnc	dim. juin 12 17:21:39 2011 +0200
@@ -324,10 +324,18 @@
 rowsep.attribute = attribute rowsep { "0" | "1" }
 
 # ~~~~~~ thead, tfoot, tbody
-thead = element thead { thead.content }
-tfoot = element tfoot { tfoot.content }
-tbody = element tbody { tbody.content }
+thead = element thead { thead.attributes, thead.content }
+tfoot = element tfoot { tfoot.attributes, tfoot.content }
+tbody = element tbody { tbody.attributes, tbody.content }
 
+thead.attributes =
+   valign.attribute?
+tfoot.attributes =
+   valign.attribute?
+tbody.attributes =
+   valign.attribute?
+valign.attribute = attribute valign { "top" | "middle" | "bottom" }
+   
 thead.content =
    row+
 tfoot.content =
@@ -340,7 +348,6 @@
 
 row.attribute =
    valign.attribute?
-valign.attribute = attribute valign { "top" | "middle" | "bottom" }
 
 row.content =
   entry+