How to change the size of the font?

Hello, I’m a beginner on Pinegrow, I’d like to know if it’s possible to change the size of the font in the edit code.The font is too small it’s difficult to read the code.
Thank you for your help,
Have a good day,
Chris