Interesting find. I could use this idea in Stylebot (http://stylebot.me). It's a Chrome extension that allows you to live edit a custom stylesheet for any page on the web.