On Fri, 17 May 2024 18:17:55 -0700 sgeneris at comcast.net wrote: > How can I choose my own font face and size? Perhaps unsurprisingly and rather obviously: /Configuration/Preferences/Display/Fonts