The HTML version is quite nice. Do you know how they did the LaTeX to html conversion?