RelaxNG/publidoc.rnc
changeset 188 b9fea8bd2412
parent 185 2a8ac62f00d3
child 189 951f1a25efc5
--- a/RelaxNG/publidoc.rnc	jeu. mars 28 12:44:20 2013 +0100
+++ b/RelaxNG/publidoc.rnc	sam. avril 06 14:17:18 2013 +0200
@@ -382,10 +382,10 @@
 w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
 h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
 hotspot.type.attribute = attribute type { "normal" | "visible" | "pulse" }
-dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }
-dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?"} }
-dw.attribute = attribute dw { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?"} }
-dh.attribute = attribute dh { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?"} }
+dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }
+dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d{1,2})?%"} }
+dw.attribute = attribute dw { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+dh.attribute = attribute dh { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
    
 hotspot.content =
    (p | link | image | audio | video),