text: term_.prefs_.set("background-color", "#f8f8ff");
  term_.prefs_.set("foreground-color", "#1d1d26");
  term_.prefs_.set("cursor-color", "rgba(203,203,240, 0.5)"); /* #cbcbf0 */
  term_.prefs_.set("color-palette-overrides", ["#1d1d26", "#ff3399", "#00d364", "#ffcc66", "#00cbff", "#cc66ff", "#00ceca", "#cbcbf0", "#636667", "#ff2f92", "#00d364", "#ffd479", "#00cbff", "#d783ff", "#00d5d4", "#d5d6f3"]);
  