Thanks to some work by David Pollak, the HTML version of *Exploring
Lift*now uses eLyxer instead of latex2html. The result is *much* nicer
Having said that, we had to make some customizations to elyxer for syntax
highlighting (I'm working with elyxer's developer to roll these changes into
their mainline), so if you notice any weirdness please let me know.