I use a proportional coding font and love it. (I will re-recommend Input Sans: https://djr.com/input/ https://djr.com/input/) I find it much more readable--and

I use a proportional coding font and love it. (I will re-recommend Input Sans: https://djr.com/input/ https://djr.com/input/) I find it much more readable--and part of me feels coding should be for the humans, not the robots.