index.html typeset