text: term_.prefs_.set("background-color", "#1b1d1e");
  term_.prefs_.set("foreground-color", "#6f6f6f");
  term_.prefs_.set("cursor-color", "rgba(252,239,12, 0.5)"); /* #fcef0c */
  term_.prefs_.set("color-palette-overrides", ["#1b1d1e", "#e6dc44", "#c8be46", "#f4fd22", "#737174", "#747271", "#62605f", "#c6c5bf", "#505354", "#fff78e", "#fff27d", "#feed6c", "#919495", "#9a9a9d", "#a3a3a6", "#dadbd6"]);
  