warum sollte es von Opera nicht erkannt werden ?
Der Vorteil der Auslagerung ist leichtere Einbinden und Ändern in anderen HTML-Seiten.
Wenn du ein Javascript-Menü verwendetst, müsstest Änderungen immer in allen Seiten durchführen so nur in der JS-DAtei