After last update the default font has changed. I had Monokai theme and I think that the font changed (or maybe I had some settings which became overwritten). Whatever happened, the current font is not so well readible than the previous one was. It looks too narrow and bold and I had previously a bit of seriff font. How to change default font color and family for normal text? (maybe someone remembers what the previous font was? it has changed for sure)