RelaxNG/publidoc.rnc
changeset 433 25c3b6109823
parent 427 b3750f8b986d
child 434 8a0af445525a
equal deleted inserted replaced
432:6c7385b704e4 433:25c3b6109823
   641 image.zoom.attribute = attribute zoom {"true" | "false"}
   641 image.zoom.attribute = attribute zoom {"true" | "false"}
   642 alt.attribute = attribute alt { text }
   642 alt.attribute = attribute alt { text }
   643 
   643 
   644 media.image.content =
   644 media.image.content =
   645    copyright?,
   645    copyright?,
       
   646    parallax?,
   646    hotspot*
   647    hotspot*
   647 
   648 
   648 # ~~~~~~ audio
   649 # ~~~~~~ audio
   649 audio = element audio { audio.attributes }
   650 audio = element audio { audio.attributes }
   650 
   651 
   657 # ~~~~~~ video
   658 # ~~~~~~ video
   658 video = element video { video.attributes }
   659 video = element video { video.attributes }
   659 
   660 
   660 video.attributes =
   661 video.attributes =
   661    media.id.attribute
   662    media.id.attribute
       
   663 
       
   664 # ~~~~~~ media.caption
       
   665 media.caption = element caption { caption.attributes, caption.content }
       
   666 
       
   667 caption.attributes =
       
   668    x.attribute?
       
   669  & y.attribute?
   662 
   670 
   663 # ~~~~~~ hotspot
   671 # ~~~~~~ hotspot
   664 hotspot = element hotspot { hotspot.attributes, hotspot.content }
   672 hotspot = element hotspot { hotspot.attributes, hotspot.content }
   665 
   673 
   666 hotspot.attributes =
   674 hotspot.attributes =
   699 spot.content =
   707 spot.content =
   700    ((p+ | image), audio?)
   708    ((p+ | image), audio?)
   701  | audio
   709  | audio
   702  | video
   710  | video
   703 
   711 
   704 # ~~~~~~ media.caption
   712 # ~~~~~~ parallax
   705 media.caption = element caption { caption.attributes, caption.content }
   713 parallax = element parallax { parallax.attributes, parallax.content }
   706 
   714 
   707 caption.attributes =
   715 parallax.attributes =
   708    x.attribute?
   716    axis.attribute?
   709  & y.attribute?
   717  & position.attribute?
       
   718 axis.attribute = attribute axis { "horizontal" | "vertical" }
       
   719 position.attribute = attribute position { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }
       
   720 
       
   721 parallax.content =
       
   722    parallax.image*
       
   723 
       
   724 # ~~~~~~ parallax.image
       
   725 parallax.image = element image { parallax.image.attributes, parallax.image.content }
       
   726 parallax.image.content =
       
   727    hotspot*
       
   728 
       
   729 parallax.image.attributes =
       
   730    media.id.attribute
       
   731  & alt.attribute?
   710 
   732 
   711 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scenario ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   733 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ scenario ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   712 
   734 
   713 # ~~~~~~ scenario
   735 # ~~~~~~ scenario
   714 scenario = element scenario { scenario.content }
   736 scenario = element scenario { scenario.content }