IDEA 主题 字体 https://blog.csdn.net/weixin_46146269/article/details/104793277 https://www.jetbrains.com/lp/mono/#how-to-install