2016.6.20 eclipse中的jsp文件的字体大小在哪里修改

刚打开eclipse的时候，觉得jsp文件的字体太小了。于是去修改字体，但是colors and fonts里的字体选项太多了，不知道哪一个是。

试了几个后发现，是structured text editor text font。