小编ttf*_*man的帖子

我发现colaboratory（colab研究）中的字体太小。有没有办法更改代码编辑器的字体大小？我尝试了“首选项”，但是看不到字体大小选项。