I found that after I updated my OS X to EI Capitan a few weeks ago, the fonts used in my terminal and PhpStorm 9 are made a bit thiner (I didn't change any settings in terminal and PhpStorm 9), I really like these thin fonts. Is this because of some font rendering settings in OS X? Because I didn't change any font settings in terminal and PhpStorm.
But after updated my PhpStorm to version 10 today, the font in PhpStorm went back to the bolder one (Menlo).
Anybody knows how I can get back the thiner font in my PhpStorm?