--- a/RelaxNG/publidoc.rnc	ven. mars 15 08:51:12 2013 +0100
+++ b/RelaxNG/publidoc.rnc	sam. mars 16 20:42:16 2013 +0100
@@ -375,19 +375,16 @@
 hotspot.attributes =
    x.attribute
  & y.attribute
- & dx.attribute?
- & dy.attribute?
- & (width.attribute & height.attribute)?
- & hidden.attribute?
+ & w.attribute
+ & h.attribute
+ & (hotspot.type.attribute & dx.attribute? & dy.attribute?)?
 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})?%"} }
+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 { "pulse" | "border" }
 dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} }
 dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} }
-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})?%"} }
-hidden.attribute = attribute hidden { xsd:boolean }
    
 hotspot.content =
    (p | link | image | audio | video)