Eso solo son estilos CSS, por lo general se hace con una funcion que tiene PHP que se llama highlite_string, aunque hay parsers para varios lenguajes.
Hay una clase que se llama
GeSHI que sirve para colorear diferentes lenguajes aparte de PHP.
Saludos.