RelaxNG/publidoc.rnc
changeset 134 31ad3d3ec2a1
parent 132 98124166003a
child 135 181072348399
equal deleted inserted replaced
133:ca8e2710f992 134:31ad3d3ec2a1
   317 
   317 
   318 image.attributes =
   318 image.attributes =
   319    media.id.attribute
   319    media.id.attribute
   320  & image.type?
   320  & image.type?
   321 media.id.attribute = attribute id { xsd:NMTOKEN }
   321 media.id.attribute = attribute id { xsd:NMTOKEN }
   322 image.type = attribute type { "thumbnail" | "icon" }
   322 image.type = attribute type { "cover" | "thumbnail" | "icon" }
   323 
   323 
   324 image.content =
   324 image.content =
   325    copyright?,
   325    copyright?,
   326    hotspot*,
   326    hotspot*,
   327    tooltip*
   327    tooltip*