idea 设置导航栏 编辑器 控制台 的主题颜色 和 字体大小

​​idea 导航栏 编辑器 控制台的主题颜色 和 字体大小设置链接 ​​

​​以上的链接改变的是导航栏 编辑器 控制台字体的大小，不可以改变编辑器字体的粗细​​

​​idea 编辑器字体粗细设置链接​​