private String convertHeader(HtmlDocTree html, Element el, char header) {
		String body = convertTree(el, html.getBody());
		int length = body.length();
		StringBuilder builder = new StringBuilder();
		return builder.append('\n')
				.repeat(header, length)
				.append('\n')
				.append(body)
				.append('\n')
				.repeat(header, length)
				.append('\n')
				.toString();
	}
Converts the {@literal <H1>} ... {@literal <H6>} tags

@param html the html
@param el the element
@param header the header character
@return the converted header
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/HtmlConverter.java