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 			quote_space, position_begin, lineno, curpfile, position_end);
position_begin    730 htags/src2html.c 		fprintf(out, "%s%s[+1 %s]%s", quote_space, position_begin, src, position_end);
position_begin    869 htags/src2html.c 		fprintf(out, "%s%s[+%d %s]%s", quote_space, position_begin, last_lineno, src, position_end);