echo $begrüßung;
Bekannt ist mir die document.styleSheets-Collection von JScript, die man bearbeiten könnte. Doch das ist JScript und kein brwoserübergreifendes Javascript.
Doch, das ist es.
Dann schwindelt das MSDN, denn das behauptet auf der verlinkten Seite doch glatt: "There is no public standard that applies to this collection."
Es funktioniert auch mit aktuellen Geckos und Opera unter Windows und Linux. Nur Konqueror (3.3.2) kennt zwar document.styleSheets und kann auch im Prinzip damit umgehen, liest z.B. die richtige .length aus, rendert aber nach Setzen von .disabled = true nicht neu. Das tut er aber auch nicht mit document.getElementsByTagName("style")[1].disabled = true;
Was zwar unschön aber nicht tragisch wäre, denn in dem Fall sollten die Vorkehrungen für Javascript-ausgeschaltete Browser greifen. (Konjunktiv, weil ich es nicht probiert habe.)
echo "$verabschiedung $name";