ipython/ipython — pull request #6238 by ivanov (2014-07-30 02:31:29+00:00)
Title: proportional font-size when editing heading cells

@MinRK @takluyver and I had the idea to do this when we were discussing #6225.

screenshots coming