That sounds vaguely familiar...then again, there are many things from the late 90s/early 2000s web development that i wish to forget. ;-)

I was never around when they actually existed, but I have seen mentions in books and things. IIRC Netscape translated CSS to JSSS internally, at least at first.