@@ -116,7 +116,7 @@ static const char *colorname[] = {
"red3",
"green3",
"yellow3",
- "blue2",
+ "#285b98", /* blue2 */
"magenta3",
"cyan3",
"gray90",