public Font modify(Font font) {
		if (family == null) {
			if (style != null && size != null) {
				return font.deriveFont(style, size);
			}
			else if (style != null) {
				return font.deriveFont(style);
			}
			return font.deriveFont((float) size);
		}
		int newStyle = style != null ? style : font.getStyle();
		int newSize = size != null ? size : font.getSize();
		return new Font(family, newStyle, newSize);
	}
Returns a modified font for the given font.
@param font the font to be modified
@return a new modified font
Ghidra/Framework/Gui/src/main/java/generic/theme/FontModifier.java