equal
deleted
inserted
replaced
158 |
158 |
159 # ~~~~~~ section |
159 # ~~~~~~ section |
160 section = element section { section.attributes, section.content } |
160 section = element section { section.attributes, section.content } |
161 |
161 |
162 section.attributes = |
162 section.attributes = |
163 section.type.attribute? |
163 xmlid.attribute? |
|
164 & section.type.attribute? |
164 & lang.attribute? |
165 & lang.attribute? |
165 & for.attribute? |
166 & for.attribute? |
166 section.type.attribute = attribute type { xsd:NCName } |
167 section.type.attribute = attribute type { xsd:NCName } |
167 for.attribute = attribute for { xsd:NCName } |
168 for.attribute = attribute for { xsd:NCName } |
168 |
169 |
388 |
389 |
389 # ~~~~~~ media |
390 # ~~~~~~ media |
390 media = element media { media.attributes, media.content } |
391 media = element media { media.attributes, media.content } |
391 |
392 |
392 media.attributes = |
393 media.attributes = |
393 media.type.attribute? |
394 xmlid.attribute? |
394 & xmlid.attribute? |
395 & media.type.attribute? |
395 media.type.attribute = attribute type { xsd:NCName } |
396 media.type.attribute = attribute type { xsd:NCName } |
396 |
397 |
397 media.content = |
398 media.content = |
398 block.head?, |
399 block.head?, |
399 (image | audio | video)+, |
400 (image | audio | video)+, |