What do people use for supplying user styles to webpages?

I know about the browser extensions, Stylus (ie, Stylish without spyware) and Stylebot.

And I know Arc has Boosts.