equal
deleted
inserted
replaced
235 table = element table { table.content } |
235 table = element table { table.content } |
236 |
236 |
237 table.content = |
237 table.content = |
238 block.head?, |
238 block.head?, |
239 tgroup+, |
239 tgroup+, |
240 caption? |
240 table.caption? |
241 |
241 |
242 # ~~~~~~ tgroup |
242 # ~~~~~~ tgroup |
243 tgroup = element tgroup { tgroup.attributes, tgroup.content } |
243 tgroup = element tgroup { tgroup.attributes, tgroup.content } |
244 |
244 |
245 tgroup.content = |
245 tgroup.content = |
291 |
291 |
292 entry.content = |
292 entry.content = |
293 inlines |
293 inlines |
294 | (p | media)+ |
294 | (p | media)+ |
295 |
295 |
296 # ~~~~~~ caption |
296 # ~~~~~~ table.caption |
297 caption = element caption { caption.content } |
297 table.caption = element caption { caption.content } |
298 |
298 |
299 caption.content = |
299 caption.content = |
300 inlines |
300 inlines |
301 | p+ |
301 | p+ |
302 |
302 |
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)+, |
311 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 } |
316 |
316 |
319 & image.type? |
319 & image.type? |
320 media.id.attribute = attribute id { xsd:NMTOKEN } |
320 media.id.attribute = attribute id { xsd:NMTOKEN } |
321 image.type = attribute type { "cover" | "thumbnail" | "icon" } |
321 image.type = attribute type { "cover" | "thumbnail" | "icon" } |
322 |
322 |
323 image.content = |
323 image.content = |
|
324 tooltip*, |
324 copyright? |
325 copyright? |
325 |
326 |
326 # ~~~~~~ audio |
327 # ~~~~~~ audio |
327 audio = element audio { audio.attributes } |
328 audio = element audio { audio.attributes } |
328 |
329 |
329 audio.attributes = |
330 audio.attributes = |
330 media.id.attribute |
331 media.id.attribute |
331 & audio.type? |
332 & audio.type? |
332 audio.type = attribute type { "music" | "voice" | "ambiance" | "smil" } |
333 audio.type = attribute type { "music" | "voice" | "ambiance" | "smil" } |
|
334 |
|
335 # ~~~~~~ tooltip |
|
336 |
|
337 tooltip = element tooltip { tooltip.attributes, tooltip.content } |
|
338 |
|
339 tooltip.attributes = |
|
340 x.attribute |
|
341 & y.attribute |
|
342 & dx.attribute? |
|
343 & dy.attribute? |
|
344 x.attribute = attribute x { xsd:token {pattern = "\d{1,3}%"} } |
|
345 y.attribute = attribute y { xsd:token {pattern = "\d{1,3}%"} } |
|
346 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,3}%"} } |
|
347 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,3}%"} } |
|
348 |
|
349 tooltip.content = |
|
350 (p | image)+ |
|
351 |
|
352 # ~~~~~~ media.caption |
|
353 media.caption = element caption { caption.attributes, caption.content } |
|
354 |
|
355 caption.attributes = |
|
356 x.attribute? |
|
357 & y.attribute? |
333 |
358 |
334 |
359 |
335 # ============================================================================= |
360 # ============================================================================= |
336 # HEAD LEVEL |
361 # HEAD LEVEL |
337 # ============================================================================= |
362 # ============================================================================= |