For a bit of a different flavor, here's the one I've been using that accomplishes the same aims:
http://gist.github.com/649724
It's a good bit more compact, recursively refreshes the CSS in all frames in the window, and uses a timestamp instead of a long random number.