equal
deleted
inserted
replaced
357 media.caption?, |
357 media.caption?, |
358 link? |
358 link? |
359 |
359 |
360 # ~~~~~~ image |
360 # ~~~~~~ image |
361 image = element image { image.attributes, image.content } |
361 image = element image { image.attributes, image.content } |
362 hotspot.image = element image {image.attributes } |
362 hotspot.image = element image { image.attributes } |
363 |
363 |
364 image.attributes = |
364 image.attributes = |
365 media.id.attribute |
365 media.id.attribute |
366 & image.type? |
366 & image.type? |
367 media.id.attribute = attribute id { xsd:NMTOKEN } |
367 media.id.attribute = attribute id { xsd:NMTOKEN } |
404 hotspot.type.attribute = attribute type { xsd:NCName } |
404 hotspot.type.attribute = attribute type { xsd:NCName } |
405 |
405 |
406 hotspot.content = |
406 hotspot.content = |
407 ((link | p+ | hotspot.image | audio | video), (spot, scenario?)?) |
407 ((link | p+ | hotspot.image | audio | video), (spot, scenario?)?) |
408 | (spot, scenario?) |
408 | (spot, scenario?) |
|
409 | empty |
409 |
410 |
410 # ~~~~~~ spot |
411 # ~~~~~~ spot |
411 spot = element spot { spot.attributes, spot.content } |
412 spot = element spot { spot.attributes, spot.content } |
412 |
413 |
413 spot.attributes = |
414 spot.attributes = |