Thanks for your solution to my font size problem. However, I found out another way before your response arrived
in a book, "Teach Yourself Visually Raspberry Pi" by Richard Wentk. In a web browser I visited
http://elinux.org/RPi_config.txt. For my TV I picked out hdmi_group=2 and resolution hdmi_mode=16 to produce
screen resolution 1024x768 @ 60Hz.
Then edited the config.txt file to change the #hdmi_group=1 line to: hdmi_group=2 and changed the #hdmi_mode=1
line to: hdmi_mode=16. Then rebooted.
Other resolution were possible but these values produced pleasant and readable characters on my TV screen.
ga5941