pub const OLD: &str = "\x1b[31m"; pub const NEW: &str = "\x1b[32m"; pub const ERROR: &str = "\x1b[31m";
pub const INVERSE_VIDEO: &str = "\x1b[7m";
pub const NOT_INVERSE_VIDEO: &str = "\x1b[27m";
pub const NO_EOF_NEWLINE_COLOR: &str = "\x1b[2m"; pub const NO_EOF_NEWLINE_MARKER: &str = "\\ No newline at end of file";
pub const BOLD: &str = "\x1b[1m";
pub const FAINT: &str = "\x1b[2m";
pub const NORMAL_INTENSITY: &str = "\x1b[22m";
pub const YELLOW: &str = "\x1b[33m";
pub const GREEN: &str = "\x1b[32m";
pub const CYAN: &str = "\x1b[36m";
pub const RED: &str = "\x1b[31m";
pub const BLUE_TO_END_OF_LINE: &str = "\x1b[48;5;17m\x1b[0K";
pub const NORMAL: &str = "\x1b[0m";