#vName {
bgcolorName : "blue";
}
#tName {
fgcolorName : "white";
}
#vRGB {
bgcolorRGB : "#0000FF";
}
#tRGB {
fgcolorRGB : "#FFFFFF";
}
#vParens {
bgcolorParens : "rgb(0,0,255)";
}
#tParens {
fgcolorParens : "rgb(255,255,255)";
}
Blue1
Blue2
Blue3
Blue4
Blue5
Blue6
Blue7