Has anyone fiddled with hooking up lhs2TeX a tex->html tool like jsMath, for lovely code in a web page?  - Conal