Comment by pvinis

I hid the names and arrived at my second favorite font. And then I noticed my favorite font is missing!! You should add Iosevka, it's on GitHub.

If you use Google fonts or webfonts or something for this to be easier, I also have it as a webfont on my GitHub.