Surprisingly, setting JetBrains Mono to 13px in the editor is still way more readable than any other font. Especially on Windows.