I have managed to get it back to work. Restarting the server 
and touching the index.html file made no difference, but when 
I cleared the browser's cache it all started working again. I 
still don't know what went wrong, but the browser obviously 
cached the gone-wrong document. I have reapplied the changes 
and everything still works.


Kees

Reply via email to