一，修改文字大小：

　　

二，修改主题：
你可能对编辑器的外观仍不满意，例如你希望将文档字符串改变为另外一种颜色，下面介绍具体更改方法：