what's the font that is used on the screenshots ? I would love to try it in Pycharm IDE/Jetbrain products.