private static String fromExternalId(String externalId) {
		if (externalId.startsWith(EXTERNAL_PREFIX)) {
			return externalId.substring(EXTERNAL_PREFIX.length());
		}
		if (externalId.startsWith(EXTERNAL_LAF_ID_PREFIX)) {
			return LAF_ID_PREFIX + externalId.substring(EXTERNAL_LAF_ID_PREFIX.length());
		}
		return externalId;
	}
Returns the Font style int for the given style string
@param styleString the string to convert to a Font style int
@return the Font style int for the given style string
Ghidra/Framework/Gui/src/main/java/generic/theme/FontValue.java