body_begin         58 htags/common.c const char *body_begin		= "<body text='#191970' bgcolor='#f5f5dc' vlink='gray'>";
body_begin        150 htags/common.c 	body_begin		= "<body>";
body_begin         42 htags/common.h extern const char *body_begin;
body_begin         75 htags/defineindex.c 	fputs_nl(body_begin, DEFINES);
body_begin        175 htags/defineindex.c 			fputs_nl(body_begin, ALPHA);
body_begin        149 htags/dupindex.c 						fputs_nl(body_begin, op);
body_begin        442 htags/fileindex.c 	fputs_nl(body_begin, op);
body_begin        694 htags/fileindex.c 	fputs_nl(body_begin, filesop);
body_begin        813 htags/fileindex.c 			fputs_nl(body_begin, INCLUDE);
body_begin        858 htags/fileindex.c 			fputs_nl(body_begin, INCLUDE);
body_begin        403 htags/htags.c                  {"@body_begin@", body_begin},
body_begin        560 htags/htags.c  	fputs_nl(body_begin, op);
body_begin        711 htags/htags.c  		fputs_nl(body_begin, op);
body_begin        719 htags/htags.c  		fputs_nl(body_begin, op);
body_begin        746 htags/htags.c  	fputs_nl(body_begin, op);
body_begin        771 htags/htags.c  	fputs_nl(body_begin, op);
body_begin       1186 htags/htags.c  			body_begin = p;
body_begin        689 htags/src2html.c 	fputs_nl(body_begin, out);