[marssaxman]

I tried this, many years ago, but it did not take long before I gave it up. Code is full of skinny punctuation characters whose meaning is critical to understanding, and allowing a proportional font to squish down the screen area they occupy does not improve readability. This can easily be seen in the author's own screenshots.