You can use the css styled format for styling the gnome terminal. Just follow the three steps

Open the file

[code language=”php”]vi ~/.config/gtk-3.0/gtk.css
[/code]

Add the following code and save

[code language=”php”]VteTerminal,
TerminalScreen {
padding: 10px 10px 10px 10px;
-VteTerminal-inner-border: 10px 10px 10px 10px;
}
[/code]

Restart the terminal(s)

[code language=”php”]killall gnome-terminal[/code]


Before PaddingScreenshot from 2015-11-18 12:04:00

After PaddingScreenshot from 2015-11-18 12:04:30