I'd be much more comfortable with breaking the 80 chars per line restriction than using variable width fonts - often it helps readability to be able to easily line things up. The day every system I work on consistently handles tab-stops in a sensible way, I might be open to consider variable width fonts for coding.