Searched refs:header_level (Results 1 – 1 of 1) sorted by relevance
1548 int header_level; // current header level member in header_desc1557 header_level(2), written_header(0) in header_desc()2423 if (header.header_level > 7) { in write_header()2424 header.header_level = 7; in write_header()2431 if (cutoff_heading+2 > header.header_level) { in write_header()2440 header.no_of_headings, header.header_level, in write_header()2441 header.no_of_headings, header.header_level); in write_header()2468 if (header.header_level<4) { in write_header()2482 html.put_number(header.header_level); in write_header()2486 html.put_number(header.header_level); in write_header()[all …]