private static String clean(String value) {
		value = value.trim();
		if (value.startsWith("(")) {
			value = value.substring(1);
		}
		if (value.endsWith(")")) {
			value = value.substring(0, value.length() - 1);
		}
		return value;
	}
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