gnome-terminal で ctrl と + でフォントを変えられることに気がついた。タブごとにフォントの大きさを変えられる。