close_tag          57 src/StmtToHtml.cpp         s << close_tag(tag);
close_tag          69 src/StmtToHtml.cpp         return close_tag("span");
close_tag          85 src/StmtToHtml.cpp         return close_tag("div") + "\n";