Hola,
Iba a haberlo hecho en
este otro Hilo, pero al caso me dije, "espérate que mañana se publicará otro Hilo más adecuado"... je, je, je. No; el caso es que no conocía dicho sistema, pero, algo había oído y por otro lado estaba seguro de que existiría algo así, es decir, un "resaltador de sintáxis" escrito en JavaScript.