I couldn't get the color themes to work properly - any time I try to use color-theme-is-global with nil, the themes won't set properly, but I need to use that variable so I can have a theme for graphic frames and no theme for terminal. But I gave up, switched to Emacs' deftheme instead of cover theme, and use solarized-dark for graphic frames and tango-dark for terminals.