¹The html was generated directly from the LATEXsource using tex4ht:
http://www.tug.org/applications/tex4ht/mn.html