Moin,
gibts da nicht eine bessere und _allgemein gültigere_ Lösung?
im Sinne deiner Frage - nein. Der User-Agent-Header muss nichtmal gesetzt sein, und darf gelogen sind (und ist es oft auch).
Eine wirklich allgemeingueltigere Loesung waere, auf das DHTML zu verzichten.
Viele Gruesse,
n.d.p.