# HG changeset patch # User Patrick PIERRE # Date 1339955543 -7200 # Node ID 01d4b1ac09afa2bcd24001805288dab88dcdbc0c # Parent 8a879730e8530a782f53920a98f451d4fc957a73 Augmentation de la précision du positionnement diff -r 8a879730e853 -r 01d4b1ac09af RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc ven. juin 15 02:01:11 2012 +0200 +++ b/RelaxNG/publidoc.rnc dim. juin 17 19:52:23 2012 +0200 @@ -347,10 +347,10 @@ & y.attribute & dx.attribute? & dy.attribute? -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}"} } +x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d)?%"} } +y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d)?%"} } +dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } +dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } tooltip.content = (p | image)+