brace_begin        90 htags/common.c const char *brace_begin		= "<font color='red'>";
brace_begin       182 htags/common.c 	brace_begin		= "<em class='brace'>";
brace_begin        76 htags/common.h extern const char *brace_begin;
brace_begin      1246 htags/htags.c  			brace_begin = p;
brace_begin       525 htags/src2html.c 	strbuf_puts(outbuf, brace_begin);