Safari & CSS User Interface colours

I’ve recently encountered a stylesheet that uses the CSS user Interface colours defined here:

http://www.w3.org/TR/REC-CSS2/ui.html

My attention was drawn to it because it was a problem. a:hover was defined as color:HighlightText, and body had background-color:Background, the result of which was that I got white text on a white background when rolling over links. This makes it sound like these values are not set properly by Safari, or that it doesn’t match Safari’s own internal style sheet. For example if I select text on a page with neither of these styles set (i.e. black text on white), I get my system selected background colour, but the text remains black. This would indicate that Safari considers HighlightText to be black by default. But when I ask for that colour by name, I get white instead. Is this a bug?

Safari JS problems

Mishoo has responded to my comments about his excellent JavaScript calendar widget not working in Safari because of its lack of anonymous functions:

http://dynarch.com/mishoo/home.epl?NEWS_ID=533

He has some good comments. Is there anything that can be done for Safari’s JavaScript environment? Venkman for Safari?