public static String bold(String text) {
		return "<b>" + text + "</b>";
	}
Surrounds the specified text with the HTML begin and end tags for bold.
@param text the original text
@return the text with the bold HTML tags
Ghidra/Framework/Gui/src/main/java/ghidra/util/HTMLUtilities.java