So, yes, if that's the same as REPL colors.