The user should be able to choose the view's font. Ideally, the default should be "Console Font" (ie, the same font as the Console view). The current default is too small for my taste and I couldn't find how to increase it.