OSX: set the default terminal theme to Pro