gnome: Add some padding to contents of gnome terminal.