24 	windows = require "util.windows";

    24 	windows = require "util.windows";

    25 end

    25 end

    26 local orig_color = windows and windows.get_consolecolor and windows.get_consolecolor();

    26 local orig_color = windows and windows.get_consolecolor and windows.get_consolecolor();

    27 

    27 

    28 local _ENV = nil;

    28 local _ENV = nil;

    29 

    30 

    30 local stylemap = {

    31 local stylemap = {

    31 			reset = 0; bright = 1, dim = 2, underscore = 4, blink = 5, reverse = 7, hidden = 8;

    32 			reset = 0; bright = 1, dim = 2, underscore = 4, blink = 5, reverse = 7, hidden = 8;

    32 			black = 30; red = 31; green = 32; yellow = 33; blue = 34; magenta = 35; cyan = 36; white = 37;

    33 			black = 30; red = 31; green = 32; yellow = 33; blue = 34; magenta = 35; cyan = 36; white = 37;

    33 			["black background"] = 40; ["red background"] = 41; ["green background"] = 42; ["yellow background"] = 43;

    34 			["black background"] = 40; ["red background"] = 41; ["green background"] = 42; ["yellow background"] = 43;