User interface for appearance customization including theme selection and font size adjustment.

settings - Captured on 2/19/2025 by @romain-penchenat