equal
deleted
inserted
replaced
373 |
373 |
374 hotspot.attributes = |
374 hotspot.attributes = |
375 x.attribute |
375 x.attribute |
376 & y.attribute |
376 & y.attribute |
377 & (width.attribute & height.attribute)? |
377 & (width.attribute & height.attribute)? |
378 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d)?%"} } |
378 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)?%"} } |
379 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
380 width.attribute = attribute width { xsd:token {pattern = "\d{1,2}(\.\d)?%"} } |
380 width.attribute = attribute width { |
381 height.attribute = attribute height { xsd:token {pattern = "\d{1,2}(\.\d)?%"} } |
381 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
|
382 height.attribute = attribute height { |
|
383 xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } |
382 |
384 |
383 hotspot.content = |
385 hotspot.content = |
384 (link | audio | video) |
386 (link | audio | video) |
385 |
387 |
386 # ~~~~~~ tooltip |
388 # ~~~~~~ tooltip |