Font size change


You may have noticed the change in font size for text. I was experimenting with the font size and inadvertently saved the change, which for some reason does not readily change back. It should be easy through the widgets…however, meanwhile, let me know if the font size is easier or harder to read, and whether more text on the screen is handy. This is closer to Mark Thoma’s font size.

Update: Responding to controls now…normal size but changed font (trebuchet not georgia).