The current idea theme is: (idea comes with)
The theme color font of the idea editor is: (jar package downloaded from the Internet)
Because I need to install this theme in the plugins of idea when I install the following theme today, the online download fails. Set the http proxy of sr and turn on the global mode of sr to download normally.
Material Theme UI
https://plugins.jetbrains.com/plugin/8006-material-theme-ui