(CSSStylableElement e, String name, String value, String prio) {
Iterator i = cssNavigableDocumentListeners.keySet().iterator();
while (i.hasNext()) {
CSSNavigableDocumentListener l =
(CSSNavigableDocumentListener) i.next();
l.overrideStylePropertyChanged(e, name, value, prio);
}
}
/**
* Adds an {@link AnimatedAttributeListener} to this document, to be