You can print the ANSI code for the color.
printf("\033[34;1mBright Blue\033[37;0m\n");
That will change the color to bright blue and then back to white.
Here's a really good site that talks about all of the ANSI codes and lists which numbers are for which color, etc.:
http://www.fh-jena.de/~gmueller/Kurs...esc_vt100.html