[jbri]

The primary reason people use monospace fonts is historical inertia. It's definitely worth trying out a proportional font if your environment is amenable to it (some tools don't cope particularly well, for sad and disappointing reasons).

[10098]

I tried doing that. It looks uglier than Sloth from the Goonies.