Line spacing in gnome-terminal