diff -r 7c09024d5634 -r 94b8e4454c47 RelaxNG/publidoc.rnc --- 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+