We now specify the default colour using display properties, not by ascribing special value to the first colour code in a message. Closes #741