I just increased my default terminal font size by 2 pts. Getting older sucks.