changes to make the color theme sensible when working in a Terminal