https://wwtyrd.com/tech/romaine/how-to-change-the-text-size-in-macos/