# HG changeset patch
# User Patrick PIERRE
# Date 1360860152 -3600
# Node ID d2b8386ab9a2a7b12ac4004791f8607257e06a0e
# Parent  724a41b6fd7bf7d47765cb3bcf378ddd2807f448
2 décimales après la virgule

diff -r 724a41b6fd7b -r d2b8386ab9a2 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	mar. févr. 12 17:59:50 2013 +0100
+++ b/RelaxNG/publidoc.rnc	jeu. févr. 14 17:42:32 2013 +0100
@@ -375,10 +375,12 @@
    x.attribute
  & y.attribute
  & (width.attribute & height.attribute)?
-x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
-y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
-width.attribute = attribute width { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
-height.attribute = attribute height { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
+x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+width.attribute = attribute width {
+   xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+height.attribute = attribute height {
+   xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
 
 hotspot.content =
    (link | audio | video)