use_default_colors() called to preserve user-chosen terminal color