private String adjustFontSize(String sizeString) {
		try {
			int size = Integer.parseInt(sizeString);
			String adjusted = Integer.toString(size + fontSizeModifier);
			return adjusted;
		}
		catch (NumberFormatException e) {
			Msg.debug(this, "Unable to parse font size string '" + sizeString + "'");
		}
		return sizeString;
	}
Generates a new event with a URL based upon Ghidra's resources if needed.
Ghidra/Framework/Help/src/main/java/help/GHelpHTMLEditorKit.java