373 hotspot = element hotspot { hotspot.attributes, hotspot.content } |
373 hotspot = element hotspot { hotspot.attributes, hotspot.content } |
374 |
374 |
375 hotspot.attributes = |
375 hotspot.attributes = |
376 x.attribute |
376 x.attribute |
377 & y.attribute |
377 & y.attribute |
378 & dx.attribute? |
378 & w.attribute |
379 & dy.attribute? |
379 & h.attribute |
380 & (width.attribute & height.attribute)? |
380 & (hotspot.type.attribute & dx.attribute? & dy.attribute?)? |
381 & hidden.attribute? |
|
382 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
381 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
383 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
382 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
383 w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
384 h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
385 hotspot.type.attribute = attribute type { "pulse" | "border" } |
384 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
386 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
385 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
387 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
386 width.attribute = attribute width { |
|
387 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
388 height.attribute = attribute height { |
|
389 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
390 hidden.attribute = attribute hidden { xsd:boolean } |
|
391 |
388 |
392 hotspot.content = |
389 hotspot.content = |
393 (p | link | image | audio | video) |
390 (p | link | image | audio | video) |
394 |
391 |
395 # ~~~~~~ media.caption |
392 # ~~~~~~ media.caption |