RelaxNG/publidoc.rnc
changeset 120 01d4b1ac09af
parent 119 8a879730e853
child 122 a0b8294a5a99
equal deleted inserted replaced
119:8a879730e853 120:01d4b1ac09af
   345 tooltip.attributes =
   345 tooltip.attributes =
   346    x.attribute
   346    x.attribute
   347  & y.attribute
   347  & y.attribute
   348  & dx.attribute?
   348  & dx.attribute?
   349  & dy.attribute?
   349  & dy.attribute?
   350 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}%"} }
   350 x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
   351 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}%"} }
   351 y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
   352 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}"} }
   352 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} }
   353 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}"} }
   353 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} }
   354 
   354 
   355 tooltip.content =
   355 tooltip.content =
   356    (p | image)+
   356    (p | image)+
   357    
   357    
   358 # ~~~~~~ media.caption
   358 # ~~~~~~ media.caption