A static HTML generator