HTML generation

It generates an almost complete HTML file.