#CG
I think the point of the text file is to add the lines in that file, and
even do most of the line formatting there, then import the text file. To
change the font size and line size simultaneously, re-import the file with
a different current font.