text: term_.prefs_.set("background-color", "#1b1b1b");
  term_.prefs_.set("foreground-color", "#f7f7f7");
  term_.prefs_.set("cursor-color", "rgba(187,187,187, 0.5)"); /* #bbbbbb */
  term_.prefs_.set("color-palette-overrides", ["#000000", "#b84131", "#7da900", "#c4a500", "#62a3c4", "#ba8acc", "#207383", "#a1a1a1", "#7a7a7a", "#d6837c", "#c4f137", "#fee14d", "#8dcff0", "#f79aff", "#6ad9cf", "#f7f7f7"]);
  