t.prefs_.set('color-palette-overrides',["#3d352a", "#cd5c5c", "#86af80", "#e8ae5b", "#6495ed", "#deb887", "#b0c4de", "#bbaa99", "#554444", "#cc5533", "#88aa22", "#ffa75d", "#87ceeb", "#996600", "#b0c4de", "#ddccbb"]);
t.prefs_.set('foreground-color', "#ddeedd");
t.prefs_.set('background-color', "#1c1c1c");
t.prefs_.set('cursor-color', 'rgba(226,187,239,0.5)');