equal
deleted
inserted
replaced
371 blanks.image = element image { image.attributes, blanks.image.content } |
371 blanks.image = element image { image.attributes, blanks.image.content } |
372 |
372 |
373 blanks.image.content = |
373 blanks.image.content = |
374 copyright?, |
374 copyright?, |
375 hotspot*, |
375 hotspot*, |
376 blanks.tooltip* |
376 blanks.hotspot* |
377 |
377 |
378 # ~~~~~~ blanks.tooltip |
378 # ~~~~~~ blanks.hotspot |
379 blanks.tooltip = element tooltip { tooltip.attributes, blanks.tooltip.content } |
379 blanks.hotspot = element hotspot { hotspot.attributes, blanks.hotspot.content } |
380 |
380 |
381 blanks.tooltip.content = |
381 blanks.hotspot.content = |
382 (p+ | image | blank) |
382 (p | image | blank) |
383 |
383 |
384 # ~~~~~~~~~~~~~~~~~~~~~~~~ choices.right, choices.wrong ~~~~~~~~~~~~~~~~~~~~~~~ |
384 # ~~~~~~~~~~~~~~~~~~~~~~~~ choices.right, choices.wrong ~~~~~~~~~~~~~~~~~~~~~~~ |
385 |
385 |
386 choices.right = element right { choices.right.content } |
386 choices.right = element right { choices.right.content } |
387 choices.wrong = element wrong { choices.right.content } |
387 choices.wrong = element wrong { choices.right.content } |