Where are the gnome terminal profiles kept ?

[Mark Ryden <markryde gmail com>]

Hello,

   I am using gnome desktop. I want to know where are the gnome
terminal profiles setting kept ?  I am
talking about setting like font sizes, Scroll back lines, colors,
titles, etc, of  the profiles which are accessible via Edit->Profiles
Preferences in the gnome-terminal.
The reason for this is that when I am installing a new Linux on a
machine, I want to be able to define these profiles immediately
by copying some configuration file (and not by opening menus one by one).
Rgs,
Mark