t.prefs_.set('color-palette-overrides',["#000000", "#f07171", "#86b300", "#f2ae49", "#399ee6", "#a37acc", "#4cbf99", "#c7c7c7", "#686868", "#f07171", "#86b300", "#f2ae49", "#399ee6", "#a37acc", "#4cbf99", "#d1d1d1"]);
t.prefs_.set('foreground-color', "#6c7680");
t.prefs_.set('background-color', "#fafafa");
t.prefs_.set('cursor-color', 'rgba(255,153,64,1.0)');