private void changePixels(String line, int amount, StringBuilder buffy) {

		Matcher matcher = FONT_SIZE_PATTERN.matcher(line);
		while (matcher.find()) {
			String oldFontSize = matcher.group(1);
			String adjustFontSize = adjustFontSize(oldFontSize);
			matcher.appendReplacement(buffy, "font-size: " + adjustFontSize);
		}

		matcher.appendTail(buffy);
	}
Generates a new event with a URL based upon Ghidra's resources if needed.
Ghidra/Framework/Help/src/main/java/help/GHelpHTMLEditorKit.java