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);