Use the same font on both the result display and the editor

https://code.google.com/p/speedcrunch/issues/detail?id=495

This requires adjusting the height of the editor dynamically on font change.