Different themes for cocoa and command line.