Segfault after changing theme

[Gary Walsh]

I was trying out some of the latest themes on mozilla.themes.org and
after changing to one of them, I get a segfault when restarting
Mozilla.  How do I reset back to the default theme?  In what file is the
choice of theme stored?

-- 
Gary Walsh      Richmond Hill, Ontario, Canada
http://homepages.dsl.ca/~gwalsh/