This is the first time I've seen Firefox's alternate stylesheets mentioned in the wild. Interesting.