t.prefs_.set('color-palette-overrides',["#08002e", "#64002c", "#5d731a", "#cd751c", "#1d6da1", "#b7077e", "#42a38c", "#f3e0b8", "#331e4d", "#d02063", "#b4ce59", "#fac357", "#40a4cf", "#f12aae", "#62caa8", "#fff5db"]);
t.prefs_.set('foreground-color', "#dbd1b9");
t.prefs_.set('background-color', "#0e0d15");
t.prefs_.set('cursor-color', 'rgba(187,187,187,0.5)');
#08002e
#64002c
#5d731a
#cd751c
#1d6da1