A template engine for HTML