equal
deleted
inserted
replaced
305 # ~~~~~~ media |
305 # ~~~~~~ media |
306 media = element media { media.content } |
306 media = element media { media.content } |
307 |
307 |
308 media.content = |
308 media.content = |
309 block.head?, |
309 block.head?, |
310 (image | audio)+, |
310 (image | audio | video)+, |
311 media.caption?, |
311 media.caption?, |
312 link? |
312 link? |
313 |
313 |
314 # ~~~~~~ image |
314 # ~~~~~~ image |
315 image = element image { image.attributes, image.content } |
315 image = element image { image.attributes, image.content } |
329 |
329 |
330 audio.attributes = |
330 audio.attributes = |
331 media.id.attribute |
331 media.id.attribute |
332 & audio.type? |
332 & audio.type? |
333 audio.type = attribute type { "music" | "voice" | "background" | "smil" } |
333 audio.type = attribute type { "music" | "voice" | "background" | "smil" } |
|
334 |
|
335 # ~~~~~~ video |
|
336 video = element video { video.attributes } |
|
337 |
|
338 video.attributes = |
|
339 media.id.attribute |
334 |
340 |
335 # ~~~~~~ tooltip |
341 # ~~~~~~ tooltip |
336 |
342 |
337 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
343 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
338 |
344 |