private String toFontString(Font font) {
		return String.format("%s-%s-%s", font.getName(), getStyleString(font), font.getSize());
	}
Returns the root of an XML sub-tree associated with the
given name.
@param name The name associated with the desired Element.
@return The root of an XML sub-tree associated with the
given name.
Ghidra/Framework/Generic/src/main/java/ghidra/framework/options/GProperties.java