Colabtools: Allow changing font size and picking font type inside the code cell

[reddragon]

Bug report for Colab: http://colab.research.google.com/.

For questions about colab usage, please use stackoverflow.

• Describe the current behavior: The current Colab version as of (05/01) does not allow increasing either the font size, or picking the font inside the code cells. While this can be somewhat remedied by zooming in, that increases the size of _all_ the other elements on the page.

• Describe the expected behavior: Allow increasing font size, picking font etc. within the code cell.

• The web browser you are using (Chrome, Firefox, Safari, etc.): Chrome

• Link to self-contained notebook that reproduces this issue
  (click the Share button, then Get Shareable Link): N/A

[alext234]

+1 for this
the font size is too small for code cell.

[blois]

The new editor does have a slightly larger font size: https://colab.research.google.com/notebooks/editor_details.ipynb

Are the other font sizes within Colab sufficient? Typically browser zoom is used to increase all fonts together.

[katlyn-edwards]

Hi there! Thanks for the feedback:

You can specify what font is being used by the editor (lear more here -- https://research.google.com/colaboratory/faq.html#editor-font-family)

You can now also specify the font size via Tools -> Settings -> Editor