[Accessibility] Can one modify line spacing in gnome-terminal