Ask HN: Tool to apply alternative css to a webpage

Some months ago one guy posted at HY info about a web tool he had developed that enabled to create alternative css for a webpage and share that with the world. Do you possibly remember the name of that tool?