in der Datei menu.html muss folgende Änderung vorgenommen werden:
<script><!--
//cntdef=document.all?"cont_ie.html":"cont_ns.html";cnt=cntdef, txt="about.html";
cntdef="cont_ie.html";
cnt=cntdef, txt="about.html";
function OnMenu(what)
{ ...
Damit wird Firefox mit den IE-Scripten angesteuert. Leider funktionieren die Rechner nicht. Dazu wird ein PlugIn benötigt 