Discussed in #471 These shows the issue:  vs.  We need to be better, at least on default settings, what ansi styles to use so that terminal is able to work better when user changes colors.
