changed userChrome.css; cleaned up theme.lua