TradingView font size

How can you increase the font size in "Pine Editor"on TradingView?

It is extremely small. If I increase the font size in my browser, the entire editor gets minimized before the text is large enough.