Open
Description
Would it be possible to use the colors from the terminal palette instead of hardcoded colors?
This would make this REPL usable for a larger group of people.
So instead of e.g. using a fixed color for a red border, use color number 2 from the ansi colors, so it will match the red that is defined in the terminal color palette.