equal
deleted
inserted
replaced
395 blanks.table = element table { table.attributes, blanks.table.content } |
395 blanks.table = element table { table.attributes, blanks.table.content } |
396 pointing.table = element table { table.attributes, pointing.table.content } |
396 pointing.table = element table { table.attributes, pointing.table.content } |
397 |
397 |
398 blanks.table.content = |
398 blanks.table.content = |
399 block.head?, |
399 block.head?, |
400 thead?, |
400 ((thead?, blanks.tbody+) | blanks.tr+), |
401 (blanks.tbody+ | blanks.tr+), |
|
402 blanks.table.caption? |
401 blanks.table.caption? |
403 pointing.table.content = |
402 pointing.table.content = |
404 block.head?, |
403 block.head?, |
405 (pointing.tbody+ | pointing.tr+), |
404 ((thead?, pointing.tbody+) | pointing.tr+), |
406 pointing.table.caption? |
405 pointing.table.caption? |
407 |
406 |
408 # ~~~~~~ tbody |
407 # ~~~~~~ tbody |
409 blanks.tbody = element tbody { blanks.tbody.content } |
408 blanks.tbody = element tbody { blanks.tbody.content } |
410 pointing.tbody = element tbody { pointing.tbody.content } |
409 pointing.tbody = element tbody { pointing.tbody.content } |
430 pointing.th = element th { td.attributes, pointing.td.content } |
429 pointing.th = element th { td.attributes, pointing.td.content } |
431 |
430 |
432 blanks.td.content = |
431 blanks.td.content = |
433 blanks.inlines |
432 blanks.inlines |
434 | (blanks.p | blanks.media)+ |
433 | (blanks.p | blanks.media)+ |
435 |
|
436 pointing.td.content = |
434 pointing.td.content = |
437 pointing.inlines |
435 pointing.inlines |
438 | (pointing.p | media)+ |
436 | (pointing.p | media)+ |
439 |
437 |
440 # ~~~~~~ table.caption |
438 # ~~~~~~ table.caption |