// Tango with Monokai theme

t.prefs_.set("cursor-color", "#f5f5f5");
t.prefs_.set("cursor-blink", false);
t.prefs_.set("foreground-color", "#ffffff");
t.prefs_.set("background-color", "#000000");
t.prefs_.set("color-palette-overrides", [
  "#000000", // black
  "#cf5041", // red
  "#8bba48", // green
  "#c3a643", // yellow
  "#37689f", // blue
  "#9b589d", // magenta
  "#69b8cb", // cyan
  "#cccccc", // white
  "#686a66", // bright black
  "#ed3a2c", // bright red
  "#96cf4d", // bright green
  "#fdeb61", // bright yellow
  "#5696d5", // bright blue
  "#9d6aa5", // bright magenta
  "#75cee3", // bright cyan
  "#f5f5f5" // bright white
]);