372 hotspot = element hotspot { hotspot.attributes, hotspot.content } |
371 hotspot = element hotspot { hotspot.attributes, hotspot.content } |
373 |
372 |
374 hotspot.attributes = |
373 hotspot.attributes = |
375 x.attribute |
374 x.attribute |
376 & y.attribute |
375 & y.attribute |
|
376 & dx.attribute? |
|
377 & dy.attribute? |
377 & (width.attribute & height.attribute)? |
378 & (width.attribute & height.attribute)? |
|
379 & hidden.attribute? |
378 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
380 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
379 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
381 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
382 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
|
383 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
380 width.attribute = attribute width { |
384 width.attribute = attribute width { |
381 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
385 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
382 height.attribute = attribute height { |
386 height.attribute = attribute height { |
383 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
387 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
384 |
388 hidden.attribute = attribute hidden { xsd:boolean } |
|
389 |
385 hotspot.content = |
390 hotspot.content = |
386 (link | audio | video) |
391 (p | link | image | audio | video) |
387 |
|
388 # ~~~~~~ tooltip |
|
389 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
|
390 |
|
391 tooltip.attributes = |
|
392 x.attribute |
|
393 & y.attribute |
|
394 & dx.attribute? |
|
395 & dy.attribute? |
|
396 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
|
397 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } |
|
398 |
|
399 tooltip.content = |
|
400 (p+ | image) |
|
401 |
392 |
402 # ~~~~~~ media.caption |
393 # ~~~~~~ media.caption |
403 media.caption = element caption { caption.attributes, caption.content } |
394 media.caption = element caption { caption.attributes, caption.content } |
404 |
395 |
405 caption.attributes = |
396 caption.attributes = |