For when we want to make colours configurable (e.g. for colour blind people).