Цветовая маркировка в консоли

Строки текста, выведенного в консоль, можно окрашивать в нужный цвет. Для этого перед текстом нужно поставить маркер из двух символов. Первый символ кодирует цвет, второй игнорируется. Доступные символы и соответствующие им цвета приведены ниже.

mark0  = '~',
mark1  = '!', // error
mark2  = '@', // console cmd
mark3  = '#',
mark4  = '$',
mark5  = '%',
mark6  = '^',
mark7  = '&',
mark8  = '*',
mark9  = '-', // green = ok
mark10 = '+',
mark11 = '=',
mark12 = '/'

case mark0:  color = color_rgba( 255, 255,   0, 255 );
case mark1:  color = color_rgba( 255,   0,   0, 255 );
case mark2:  color = color_rgba( 100, 100, 255, 255 );
case mark3:  color = color_rgba(   0, 222, 205, 155 );
case mark4:  color = color_rgba( 255,   0, 255, 255 );
case mark5:  color = color_rgba( 155,  55, 170, 155 );
case mark6:  color = color_rgba(  25, 200,  50, 255 );
case mark7:  color = color_rgba( 255, 255,   0, 255 );
case mark8:  color = color_rgba( 128, 128, 128, 255 );
case mark9:  color = color_rgba(   0, 255,   0, 255 );
case mark10: color = color_rgba(  55, 155, 140, 255 );
case mark11: color = color_rgba( 205, 205, 105, 255 );
case mark12: color = color_rgba( 128, 128, 250, 255 );