Horstmann Sorry, habe das ganze dann sein lassen.
Aber grundsätzlich war es mein Fehler.
Habe den Code als JavaScript interpretiert, grrr.
Aber auch als ich meinen Fehler bemerkte und in meinem Testprofil ohne andern CSS ausprobierte
funktionierte er nicht. Schade, hätte Dir gerne geholfen.