black       = '#65737e';
red         = '#bf616a'; // red
green       = '#a3be8c'; // green
yellow      = '#ebcb8b'; // yellow
blue        = '#b3deef'; // blue
magenta     = '#b48ead'; // pink
cyan        = '#73cef4'; // cyan
white       = '#c0c5ce'; // light gray
lightBlack  = '#65737e'; // medium gray
lightRed    = '#bf616a'; // red
lightGreen  = '#a3be8c'; // green
lightYellow = '#ebcb8b'; // yellow
lightBlue   = '#b3deef'; // blue
lightMagenta= '#b48ead'; // pink
lightCyan   = '#73cef4'; // cyan
lightWhite  = '#c0c5ce'; // white

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(112,130,132,0.5)');
t.prefs_.set('foreground-color', '#c0c5ce');
t.prefs_.set('background-color', '#3a3a3a');