How about adding a vertical scrollbar? That is more important to me right now than changing the font.