Use open/close names rather than push/pop for HtmlGenerator