RelaxNG/publidoc.rnc
changeset 111 44de27e5c6cf
parent 109 78dceeeda33a
child 112 5f3d6d357c74
--- a/RelaxNG/publidoc.rnc	mer. mai 30 01:18:50 2012 +0200
+++ b/RelaxNG/publidoc.rnc	mer. mai 30 21:32:58 2012 +0200
@@ -318,11 +318,11 @@
    media.id.attribute
  & image.type?
 media.id.attribute = attribute id { xsd:NMTOKEN }
-image.type = attribute type { "cover" | "thumbnail" | "icon" }
+image.type = attribute type { "thumbnail" | "icon" }
 
 image.content =
-   tooltip*,
-   copyright?
+   copyright?,
+   tooltip*
 
 # ~~~~~~ audio
 audio = element audio { audio.attributes }
@@ -341,10 +341,10 @@
  & y.attribute
  & dx.attribute?
  & dy.attribute?
-x.attribute = attribute x { xsd:token {pattern = "\d{1,3}%"} }
-y.attribute = attribute y { xsd:token {pattern = "\d{1,3}%"} }
-dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,3}%"} }
-dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,3}%"} }
+x.attribute = attribute x { xsd:token {pattern = "\d{1,2}%"} }
+y.attribute = attribute y { xsd:token {pattern = "\d{1,2}%"} }
+dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}"} }
+dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}"} }
 
 tooltip.content =
    (p | image)+