    position_begin     96 htags/common.c const char *position_begin	= "<font color='gray'>";
    position_begin    188 htags/common.c 	position_begin		= "<em class='position'>";
    position_begin     80 htags/common.h extern const char *position_begin;
    position_begin   1270 htags/htags.c  			position_begin = p;
    position_begin    276 htags/src2html.c 			strbuf_putc(sb, ' ');
    position_begin    730 htags/src2html.c 			encode(sb, src);
    position_begin    869 htags/src2html.c 			 */