Si può fare la stampa di alcuni caratteri sul terminale in un colore diverso da quello predefinito?