Thank you, and awesome. :-) I've implemented support for highlighting of CERR output.
Do you think it would make sense to differentiate CERR and COUT output from the output of an error? I'm specifically referring to the call to err.print_em (StateIndicateor.cc line 426). One alternative is to change COUT to CERR on that line, which makes application errors nicely highlited. Another option would be to introduce a new tag that would allow one to have an ever greater level of customisability.
Regards,
Elias