black       = '#21222C';
red         = '#FF5555';
green       = '#50FA7B';
yellow      = '#F1FA8C';
blue        = '#BD93F9';
magenta     = '#FF79C6';
cyan        = '#8BE9FD';
white       = '#F8F8F2';
lightBlack  = '#6272A4';
lightRed    = '#FF6E6E';
lightGreen  = '#69FF94';
lightYellow = '#FFFFA5';
lightBlue   = '#D6ACFF';
lightMagenta= '#FF92DF';
lightCyan   = '#A4FFFF';
lightWhite  = '#FFFFFF';

t.prefs_.set('color-palette-overrides',
                 [ black , red     , green  , yellow,
                  blue     , magenta , cyan   , white,
                  lightBlack   , lightRed  , lightGreen , lightYellow,
                  lightBlue    , lightMagenta  , lightCyan  , lightWhite ]);

t.prefs_.set('cursor-color', 'rgba(248, 248, 242, 0.5)');
t.prefs_.set('foreground-color', '#F8F8F2');
t.prefs_.set('background-color', '#282A36');