Hi,
for my Pier website, I have implemented a pier plugin to pretty-print
code depending on a particular syntax:
https://diaspec.bordeaux.inria.fr/pier/Samples/Air+conditioning
This is interesting but requires some work. What's the easiest
solution to colourize a preformatted text? Is it possible to make a
particular (instance of a) word appear in a different color?
Bye
--
Damien Cassou
http://damiencassou.seasidehosting.st