equal
deleted
inserted
replaced
328 audio = element audio { audio.attributes } |
328 audio = element audio { audio.attributes } |
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" | "ambiance" | "smil" } |
333 audio.type = attribute type { "music" | "voice" | "backgound" | "smil" } |
334 |
334 |
335 # ~~~~~~ tooltip |
335 # ~~~~~~ tooltip |
336 |
336 |
337 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
337 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
338 |
338 |