public static String colorString(String rgbColor, int value) {
		return "<font color=\"" + rgbColor + "\">" + value + "</font>";
	}
Surrounds the indicated numeric value with HTML font coloring tags so that the
numeric value will display in color within HTML.
@param rgbColor (e.g., "#8c0000") a string indicating the RGB hexadecimal color
@param value the numeric value to be converted to text and wrapped with color tags.
@return the string for the HTML colored number
Ghidra/Framework/Gui/src/main/java/ghidra/util/HTMLUtilities.java