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
|
|
|
|
2022-01-14 04:10:51 +08:00
|
|
|
Many colors are taken from the One Light theme
|
2021-02-23 05:08:02 +08:00
|
|
|
to be consistent with the editor.
|
|
|
|
|
*/
|
|
|
|
|
|
2021-03-03 21:22:49 +08:00
|
|
|
:root {
|
|
|
|
|
--ansi-color-black: black;
|
2022-01-14 04:10:51 +08:00
|
|
|
--ansi-color-red: #ca1243;
|
|
|
|
|
--ansi-color-green: #50a14f;
|
|
|
|
|
--ansi-color-yellow: #c18401;
|
|
|
|
|
--ansi-color-blue: #4078f2;
|
|
|
|
|
--ansi-color-magenta: #a726a4;
|
|
|
|
|
--ansi-color-cyan: #0184bc;
|
2021-03-03 21:22:49 +08:00
|
|
|
--ansi-color-white: white;
|
|
|
|
|
--ansi-color-light-black: #5c6370;
|
2022-01-14 04:10:51 +08:00
|
|
|
--ansi-color-light-red: #e45649;
|
2021-03-03 21:22:49 +08:00
|
|
|
--ansi-color-light-green: #34d399;
|
|
|
|
|
--ansi-color-light-yellow: #fde68a;
|
2022-01-14 04:10:51 +08:00
|
|
|
--ansi-color-light-blue: #61afef;
|
|
|
|
|
--ansi-color-light-magenta: #c678dd;
|
|
|
|
|
--ansi-color-light-cyan: #56b6c2;
|
2021-03-03 21:22:49 +08:00
|
|
|
--ansi-color-light-white: white;
|
2021-02-23 05:08:02 +08:00
|
|
|
}
|
