term_.prefs_.set('cursor-blink', true);
term_.prefs_.set('background-color', '#1d1f21');
term_.prefs_.set('foreground-color', '#c5c8c6');
term_.prefs_.set('cursor-color', 'rgba(200, 200, 200, 0.5)')
term_.prefs_.set('color-palette-overrides', [
  '#373b41', // selection
  '#cc6666', // red
  '#b5bd68', // green
  '#f0c674', // yellow
  '#81a2be', // blue
  '#b294bb', // purple
  '#8abeb7', // aqua
  '#c5c8c6', // foreground
  '#373b41', // selection
  '#cc6666', // red
  '#b5bd68', // green
  '#f0c674', // yellow
  '#81a2be', // blue
  '#b294bb', // purple
  '#8abeb7', // aqua
  '#c5c8c6'  // foreground
]);