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