public static String setFontSize(String text, int ptSize) {

		int start = 0;
		if (StringUtilities.startsWithIgnoreCase(text, HTML)) {
			start = HTML.length();
		}

		StringBuilder buffy = new StringBuilder(text);
		buffy.insert(start, "<span style=\"font-size: " + ptSize + "pt\">");

		int end = buffy.length();
		if (StringUtilities.endsWithIgnoreCase(text, HTML_CLOSE)) {
			end = end - HTML_CLOSE.length();
		}

		buffy.insert(end, "</span>");
		return buffy.toString();
	}
Sets the font size of the given text by wrapping it in &lt;span&gt; tags.

@param text the text to size
@param ptSize the point size of the text
@return the updated String
Ghidra/Framework/Gui/src/main/java/ghidra/util/HTMLUtilities.java