/*
Variables for HTML-ized ANSI string.

Many colors are taken from the One Dark theme
to be consistent with the editor.
*/

:root {
  --ansi-color-black: black;
  --ansi-color-red: #e06c75;
  --ansi-color-green: #98c379;
  --ansi-color-yellow: #e5c07b;
  --ansi-color-blue: #61afef;
  --ansi-color-magenta: #c678dd;
  --ansi-color-cyan: #56b6c2;
  --ansi-color-white: white;
  --ansi-color-light-black: #5c6370;
  --ansi-color-light-red: #f87171;
  --ansi-color-light-green: #34d399;
  --ansi-color-light-yellow: #fde68a;
  --ansi-color-light-blue: #93c5fd;
  --ansi-color-light-magenta: #f472b6;
  --ansi-color-light-cyan: #6be3f2;
  --ansi-color-light-white: white;
}
