Das Problem tritt mit meiner aktuellen Firefox Version nicht mehr auf. Leider weiß ich nicht genau welche Version Probleme gemacht hat (nach einem apt-get dist-upgrade geht es jetzt jedenfalls). Es müsste aber eine 0.9.3 Version gewesen sein ...
Ich hab hier 0.9.3 und es geht ohne Probleme.
Ich habe die Funktion init() mittels <body onLoad="init();"> aufgerufen. In der JavaScript Console habe ich eine Fehler in der Art "Object has no properties" bekommen (die genaue Fehlermeldung weiß ich nicht mehr).
Dann war wohl ein anderer Fehler in der Seite.
Struppi.