What is the font used for code in the top screenshot at https://www.jetbrains.com/idea/whatsnew/ ?
I'm looking for a nice *light* font to use on my Retina MacBook Pro. I'm using Menlo now but it is too fat.
Ideally I would use Source Code Pro Light, but IDEA does not let me pick any of the variants so I think I'm getting Regular. (Is that a bug that I should file?)
Can anyone recommend other good fonts for retina displays?