sharp_begin 88 htags/common.c const char *sharp_begin = "<font color='darkred'>"; sharp_begin 180 htags/common.c sharp_begin = "<em class='sharp'>"; sharp_begin 74 htags/common.h extern const char *sharp_begin; sharp_begin 1234 htags/htags.c sharp_begin = p; sharp_begin 448 htags/src2html.c strbuf_puts(outbuf, sharp_begin);