public static String spaces(int num) {
		StringBuffer buf = new StringBuffer(6 * num);
		for (int i = 0; i < num; i++) {
			buf.append("&nbsp;");
		}
		return buf.toString();
	}
Creates a string for the number of spaces indicated that can be used in HTML.
This string can be used to preserve spacing.
@param num the number of spaces
@return the string representing that many spaces in HTML.
Ghidra/Features/Base/src/main/java/ghidra/app/merge/util/ConflictUtility.java