A template-driven static HTML generator