How to change the font size in colaboratory (colab research)? : <p>I am finding the font size in colaboratory (colab research) too small. Is there a way to change the font size for code editor? I tried the "Preferences" but don't see an option for font size.</p>
