Hola neodani. Te cuento que hace un mes estuve probando como setenta mil plugins de coloreado y me quedé con éste:
CodeColorer, el cual utiliza las ya conocidas librerías GeShi y tiene buenas opciones de personalización. Si te decides a utilizarlo avísame primero para darte un par de tips.