public void adjustFonts(int amount) {
		List<FontValue> fonts = currentValues.getFonts();
		for (FontValue fontValue : fonts) {
			Font directFont = fontValue.getRawValue();
			if (directFont == null) {
				continue;  // indirect fonts will be handled when its referenced font is handled
			}
			int currentSize = directFont.getSize();
			int newSize = Math.max(MIN_FONT_SIZE, currentSize += amount);
			setFont(fontValue.getId(), directFont.deriveFont((float) newSize));
		}
	}
Adjust the size of all fonts by the given amount.
@param amount the number to add to the current font size;
Ghidra/Framework/Gui/src/main/java/generic/theme/ThemeManager.java