Re: position: pointer

|  What might be a better approach is to add to the <position> type
|  something that allows this - for example, a "position()" function that
|  takes an argument detailing what you want the position of (right now,
|  only one value: pointer).

Seems a better approach to me indeed. Still, the intent isn't that clear in 
the case you've no or more than one mouse pointer. I don't believe we can 
make reasonable defaults for them that fits a significant number of cases. 
As such, a script allow the author to fine tune depending on his needs, 
which CSS will not allow. So, all in all, "position: pointer" may be good 
enough for CSS needs.