2021-02-23 05:08:02 +08:00
|
|
|
/*
|
2021-03-03 21:22:49 +08:00
|
|
|
Variables for HTML-ized ANSI string.
|
2021-02-23 05:08:02 +08:00
|
|
|
|
|
|
|
|
Many colors are taken from the One Dark theme
|
|
|
|
|
to be consistent with the editor.
|
|
|
|
|
*/
|
|
|
|
|
|
2021-03-03 21:22:49 +08:00
|
|
|
: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;
|
2021-02-23 05:08:02 +08:00
|
|
|
}
|
