updated TextbookHTML spec file