话说webstrom 的字体就这几种吗

Question

把工具栏的字体换了一下觉得编辑区的字体不协调，编辑区的字体能换成一样的吗