Finished first pass at adapting indexgen.xsl for HTMLBook.