… | |
… | |
174 | "rgb:00/00/ff", // 4/12: bright blue (Blue) |
174 | "rgb:00/00/ff", // 4/12: bright blue (Blue) |
175 | "rgb:ff/00/ff", // 5/13: bright magenta (Magenta) |
175 | "rgb:ff/00/ff", // 5/13: bright magenta (Magenta) |
176 | "rgb:00/ff/ff", // 6/14: bright cyan (Cyan) |
176 | "rgb:00/ff/ff", // 6/14: bright cyan (Cyan) |
177 | "rgb:ff/ff/ff", // 7/15: bright white (White) |
177 | "rgb:ff/ff/ff", // 7/15: bright white (White) |
178 | |
178 | |
179 | #ifndef USE_256_COLORS |
179 | #if !USE_256_COLORS |
180 | // 88 xterm colours |
180 | // 88 xterm colours |
181 | "rgb:00/00/00", |
181 | "rgb:00/00/00", |
182 | "rgb:00/00/8b", |
182 | "rgb:00/00/8b", |
183 | "rgb:00/00/cd", |
183 | "rgb:00/00/cd", |
184 | "rgb:00/00/ff", |
184 | "rgb:00/00/ff", |