WSCOL_BLUE
{ WSCOL_BLUE, "blue" },
{ 24, 2 , ATTR_BG_SET(WSCOL_BROWN) | ATTR_FG_SET(WSCOL_BLUE) },
{ 26, 2 , ATTR_BG_SET(WSCOL_CYAN) | ATTR_FG_SET(WSCOL_BLUE) },
{ 28, 2 , ATTR_BG_SET(WSCOL_WHITE) | ATTR_FG_SET(WSCOL_BLUE) },
res = vga_allocattr(scr, WSCOL_WHITE, WSCOL_BLUE,
res = vga_raster_allocattr(scr, WSCOL_WHITE, WSCOL_BLUE,
#define WSCOL_LIGHT_BLUE (WSCOL_BLUE+8)