Font and theme customization options for user interface.

settings - Captured on 3/21/2025 by @romain-penchenat