RelaxNG/publiquiz.rnc
changeset 358 73f2c224e7d7
parent 356 2fc11c1323b8
child 359 1dce0160fefd
--- a/RelaxNG/publiquiz.rnc	sam. déc. 20 12:15:06 2014 +0100
+++ b/RelaxNG/publiquiz.rnc	dim. déc. 21 15:15:05 2014 +0100
@@ -397,12 +397,11 @@
 
 blanks.table.content =
    block.head?,
-   thead?,
-   (blanks.tbody+ | blanks.tr+),
+   ((thead?, blanks.tbody+) | blanks.tr+),
    blanks.table.caption?
 pointing.table.content =
    block.head?,
-   (pointing.tbody+ | pointing.tr+),
+   ((thead?, pointing.tbody+) | pointing.tr+),
    pointing.table.caption?
 
 # ~~~~~~ tbody
@@ -432,7 +431,6 @@
 blanks.td.content =
    blanks.inlines
  | (blanks.p | blanks.media)+
-
 pointing.td.content =
    pointing.inlines
  | (pointing.p | media)+