web-dev-qa-db-fra.com

Comment changer la taille de la police en colaboratoire (recherche colab)?

Je trouve la taille de police dans le colaboratoire (recherche colab) trop petite. Existe-t-il un moyen de modifier la taille de la police pour l'éditeur de code? J'ai essayé les "Préférences" mais je ne vois pas d'option pour la taille de la police.

google-colaboratory
7
ttfreeman

La taille de police ne peut pas être ajustée dans Colab lui-même, mais la plupart sinon tous les navigateurs modernes vous permettent d'ajuster la taille de police à l'échelle du site. Pour la plupart des navigateurs, appuyez sur Ctrl + (sous windows/linux) ou Cmd + (sur Mac/OSX) fera cela.

3
jakevdp

Dans le cas du navigateur chrome, vous pouvez installer l'extension appelée "paramètre de police avancé". Modifiez ensuite le type ou la taille de police des polices à largeur fixe avec ce plug-in.

Dans le cas d'autres navigateurs comme Firefox, des approches similaires peuvent être possibles.

plugin capture

2
Jaeyoon Jeong

Colab utilise un style Markdown

vous pouvez utiliser le symbole # pour définir les en-têtes. Les en-têtes par défaut augmentent la taille de la police

  #header1
  ##header2
  ###header3
0
Jennifer Kwentoh