set_color("normal",         "#000000", "#E0E0E0");
set_color("status",         "#FFFF00", "#0000AA");	% status bar near the bottom
set_color("operator",       "#000000", "#E0E0E0");	% +, -, etc..
set_color("number",         "#000000", "#E0E0E0");	% 10, 2.71, etc..
set_color("comment",        "#008000", "#E8E8E0");	% /* comment */
set_color("region",         "#FFFF99", "#666655");	% Cut & Paste
set_color("string",         "#000000", "#E8DCE0");	% "string" or 'char'
set_color("keyword",        "#0000FF", "#E0E0E0");	% basic language keywords: if, while, unsigned, ...
set_color("keyword1",       "#F00000", "#E0E0E0");	% extended language keywords: int, long, void, static
set_color("keyword2",       "#005599", "#E0E0E0");	% user defined keywords
set_color("delimiter",      "#000000", "#E0E0E0");	% {}[](),.; ...
set_color("preprocess",     "#CC00CC", "#E0E0E0");	% the C/C++ preprocessor
set_color("message",        "#C00000", "#E8E0E0");	% messages like "Loading ..."
set_color("error",          "#FFFF55", "#FF0000");	% error messages
set_color("dollar",         "#FFFF00", "#E8E8D8");	% line overflow
set_color("...",            "#FFFF00", "#FF0000");	% folding indicator

set_color ("menu_char",     "#FF5555", "#0000AA");
set_color ("menu",          "#FFFFFF", "#0000AA");
set_color ("menu_popup",    "#FFFFFF", "#0000AA");
set_color ("menu_shadow",   "#000000", "#A0A0A0");
set_color ("menu_selection","#000000", "#E0E0E0");
set_color ("menu_selection_char","#FF5555", "#0000AA");

set_color ("mouse", "blue", "blue");

set_color ("cursor", "black", "red");
set_color ("cursorovr", "black", "red");

%% The following have been automatically generated:
set_color("linenum", "#FFFF00", "#0000AA");
set_color("trailing_whitespace", "#008000", "#E8E8E0");
set_color("tab", "#008000", "#E8E8E0");
set_color("url", "#000000", "#E8DCE0");
set_color("italic", "#005599", "#E0E0E0");
set_color("underline", "#F00000", "#E0E0E0");
set_color("bold", "#0000FF", "#E0E0E0");
set_color("keyword3", "#000000", "#E0E0E0");
set_color("keyword4", "#000000", "#E0E0E0");
set_color("keyword5", "#000000", "#E0E0E0");
set_color("keyword6", "#000000", "#E0E0E0");
set_color("keyword7", "#000000", "#E0E0E0");
set_color("keyword8", "#000000", "#E0E0E0");
set_color("keyword9", "#000000", "#E0E0E0");