private void buildRowBorder(StringBuilder builder, char c) {
		builder.append('+');
		for (int width : columnWidths) {
			builder.repeat(c, width)
					.append('+');
		}
		builder.append('\n');
	}
Creates a row border with the provided character

@param builder the string builder
@param c the border character
GhidraBuild/BuildFiles/Doclets/src/main/java/ghidra/doclets/typestubs/RstTableBuilder.java