Click the Font button, select the desired size. The default is 11 ... When he is not working, you can usually find him out traveling to different places or indulging himself in binge-watching.
The Kitty terminal emulator supports multiple font sizes. The open source tool can be extended via a framework in Python.