Padding in gnome-terminal

Given below is my ~/.config/gtk-3.0/gtk.css

 VteTerminal,
    TerminalScreen {
        padding: 10px 10px 10px 10px;
        -VteTerminal-ier-border: 10px 10px 10px 10px;
    }

I was using the above code before to enable padding in my gnome-terminal. This doesn't seem to work anymore after a recent gtk update. How do I enable padding in the terminal now?