html generation spec