an experiment with proportional-width fonts