#aliceblue      { color: aliceblue; }
#antiquewhite   { color: antiquewhite; }
#aqua           { color: aqua; }
#aquamarine     { color: aquamarine; }
#azure          { color: azure; }
#beige          { color: beige; }
#bisque         { color: bisque; }
#black          { color: black; }
#blanchedalmond { color: blanchedalmond; }
#blue           { color: blue; }
#blueviolet     { color: blueviolet; }
#brown          { color: brown; }
#burlywood      { color: burlywood; }
#cadetblue      { color: cadetblue; }
#chartreuse     { color: chartreuse; }
#chocolate      { color: chocolate; }
#coral          { color: coral; }
#cornflowerblue { color: cornflowerblue; }
#cornsilk       { color: cornsilk; }
#crimson        { color: crimson; }
#cyan           { color: cyan; }
#darkblue       { color: darkblue; }
#darkcyan       { color: darkcyan; }
#darkgoldenrod  { color: darkgoldenrod; }
#darkgray       { color: darkgray; }
#darkgreen      { color: darkgreen; }
#darkgrey       { color: darkgrey; }
#darkkhaki      { color: darkkhaki; }
#darkmagenta    { color: darkmagenta; }
#darkolivegreen { color: darkolivegreen; }
#darkorange     { color: darkorange; }
#darkorchid     { color: darkorchid; }
#darkred        { color: darkred; }
#darksalmon     { color: darksalmon; }
#darkseagreen   { color: darkseagreen; }
#darkslateblue  { color: darkslateblue; }
#darkslategray  { color: darkslategray; }
#darkslategrey  { color: darkslategrey; }
#darkturquoise  { color: darkturquoise; }
#darkviolet     { color: darkviolet; }
#deeppink       { color: deeppink; }
#deepskyblue    { color: deepskyblue; }
#dimgray        { color: dimgray; }
#dimgrey        { color: dimgrey; }
#dodgerblue     { color: dodgerblue; }
#firebrick      { color: firebrick; }
#floralwhite    { color: floralwhite; }
#forestgreen    { color: forestgreen; }
#fuchsia        { color: fuchsia; }
#gainsboro      { color: gainsboro; }
#ghostwhite     { color: ghostwhite; }
#gold           { color: gold; }
#goldenrod      { color: goldenrod; }
#gray           { color: gray; }
#grey           { color: grey; }
#green          { color: green; }
#greenyellow    { color: greenyellow; }
#honeydew       { color: honeydew; }
#hotpink        { color: hotpink; }
#indianred      { color: indianred; }
#indigo         { color: indigo; }
#ivory           { color: ivory; }
#khaki           { color: khaki; }
#lavender        { color: lavender; }
#lavenderblush   { color: lavenderblush; }
#lawngreen       { color: lawngreen; }
#lemonchiffon    { color: lemonchiffon; }
#lightblue       { color: lightblue; }
#lightcoral      { color: lightcoral; }
#lightcyan       { color: lightcyan; }
#lightgoldenrodyellow { color: lightgoldenrodyellow; }
#lightgray       { color: lightgray; }
#lightgrey       { color: lightgrey; }
#lightgreen      { color: lightgreen; }
#lightpink       { color: lightpink; }
#lightsalmon     { color: lightsalmon; }
#lightseagreen   { color: lightseagreen; }
#lightskyblue    { color: lightskyblue; }
#lightslategray  { color: lightslategray; }
#lightslategrey  { color: lightslategrey; }
#lightsteelblue   { color: lightsteelblue; }
#lightyellow      { color: lightyellow; }
#lime             { color: lime; }
#limegreen        { color: limegreen; }
#linen            { color: linen; }
#magenta          { color: magenta; }
#maroon           { color: maroon; }
#mediumaquamarine { color: mediumaquamarine; }
#mediumblue { color: mediumblue; }
#mediumorchid { color: mediumorchid; }
#mediumpurple { color: mediumpurple; }
#mediumseagreen { color: mediumseagreen; }
#mediumslateblue { color: mediumslateblue; }
#mediumspringgreen { color: mediumspringgreen; }
#mediumturquoise { color: mediumturquoise; }
#mediumvioletred { color: mediumvioletred; }
#midnightblue { color: midnightblue; }
#mintcream { color: mintcream; }
#mistyrose { color: mistyrose; }
#moccasin { color: moccasin; }
#navajowhite  { color: navajowhite; }
#navy         { color: navy; }
#oldlace { color: oldlace; }
#olive { color: olive; }
#olivedrab { color: olivedrab; }
#orange { color: orange; }
#orangered { color: orangered; }
#orchid { color: orchid; }
#palegoldenrod { color: palegoldenrod; }
#palegreen { color: palegreen; }
#paleturquoise { color: paleturquoise; }
#palevioletred { color: palevioletred; }
#papayawhip { color: papayawhip; }
#peachpuff { color: peachpuff; }
#peru { color: peru; }
#pink { color: pink; }
#plum { color: plum; }
#powderblue { color: powderblue; }
#purple { color: purple; }
#red { color: red; }
#rosybrown { color: rosybrown; }
#royalblue { color: royalblue; }
#saddlebrown { color: saddlebrown; }
#salmon { color: salmon; }
#sandybrown { color: sandybrown; }
#seagreen { color: seagreen; }
#seashell { color: seashell; }
#sienna { color: sienna; }
#silver { color: silver; }
#skyblue { color: skyblue; }
#slateblue { color: slateblue; }
#slategray { color: slategray; }
#slategrey { color: slategrey; }
#snow { color: snow; }
#springgreen { color: springgreen; }
#steelblue { color: steelblue; }
#tan { color: tan; }
#teal { color: teal; }
#thistle     { color: thistle; }
#tomato      { color: tomato; }
#turquoise   { color: turquoise; }
#violet      { color: violet; }
#wheat       { color: wheat; }
#white       { color: white; }
#whitesmoke  { color: whitesmoke; }
#yellow      { color: yellow; }
#yellowgreen { color: yellowgreen; }


.aliceblue      { color: aliceblue; }
.antiquewhite   { color: antiquewhite; }
.aqua           { color: aqua; }
.aquamarine     { color: aquamarine; }
.azure          { color: azure; }
.beige          { color: beige; }
.bisque         { color: bisque; }
.black          { color: black; }
.blanchedalmond { color: blanchedalmond; }
.blue           { color: blue; }
.blueviolet     { color: blueviolet; }
.brown          { color: brown; }
.burlywood      { color: burlywood; }
.cadetblue      { color: cadetblue; }
.chartreuse     { color: chartreuse; }
.chocolate      { color: chocolate; }
.coral          { color: coral; }
.cornflowerblue { color: cornflowerblue; }
.cornsilk       { color: cornsilk; }
.crimson        { color: crimson; }
.cyan           { color: cyan; }
.darkblue       { color: darkblue; }
.darkcyan       { color: darkcyan; }
.darkgoldenrod  { color: darkgoldenrod; }
.darkgray       { color: darkgray; }
.darkgreen      { color: darkgreen; }
.darkgrey       { color: darkgrey; }
.darkkhaki      { color: darkkhaki; }
.darkmagenta    { color: darkmagenta; }
.darkolivegreen { color: darkolivegreen; }
.darkorange     { color: darkorange; }
.darkorchid     { color: darkorchid; }
.darkred        { color: darkred; }
.darksalmon     { color: darksalmon; }
.darkseagreen   { color: darkseagreen; }
.darkslateblue  { color: darkslateblue; }
.darkslategray  { color: darkslategray; }
.darkslategrey  { color: darkslategrey; }
.darkturquoise  { color: darkturquoise; }
.darkviolet     { color: darkviolet; }
.deeppink       { color: deeppink; }
.deepskyblue    { color: deepskyblue; }
.dimgray        { color: dimgray; }
.dimgrey        { color: dimgrey; }
.dodgerblue     { color: dodgerblue; }
.firebrick      { color: firebrick; }
.floralwhite    { color: floralwhite; }
.forestgreen    { color: forestgreen; }
.fuchsia        { color: fuchsia; }
.gainsboro      { color: gainsboro; }
.ghostwhite     { color: ghostwhite; }
.gold           { color: gold; }
.goldenrod      { color: goldenrod; }
.gray           { color: gray; }
.grey           { color: grey; }
.green          { color: green; }
.greenyellow    { color: greenyellow; }
.honeydew       { color: honeydew; }
.hotpink        { color: hotpink; }
.indianred      { color: indianred; }
.indigo         { color: indigo; }
.ivory          { color: ivory; }
.khaki          { color: khaki; }
.lavender       { color: lavender; }
.lavenderblush  { color: lavenderblush; }
.lawngreen      { color: lawngreen; }
.lemonchiffon   { color: lemonchiffon; }
.lightblue { color: lightblue; }
.lightcoral { color: lightcoral; }
.lightcyan { color: lightcyan; }
.lightgoldenrodyellow { color: lightgoldenrodyellow; }
.lightgray            { color: lightgray; }
.lightgrey         { color: lightgrey; }
.lightgreen        { color: lightgreen; }
.lightpink         { color: lightpink; }
.lightsalmon       { color: lightsalmon; }
.lightseagreen     { color: lightseagreen; }
.lightskyblue      { color: lightskyblue; }
.lightslategray    { color: lightslategray; }
.lightslategrey    { color: lightslategrey; }
.lightsteelblue    { color: lightsteelblue; }
.lightyellow       { color: lightyellow; }
.lime              { color: lime; }
.limegreen         { color: limegreen; }
.linen             { color: linen; }
.magenta           { color: magenta; }
.maroon            { color: maroon; }
.mediumaquamarine  { color: mediumaquamarine; }
.mediumblue        { color: mediumblue; }
.mediumorchid      { color: mediumorchid; }
.mediumpurple      { color: mediumpurple; }
.mediumseagreen    { color: mediumseagreen; }
.mediumslateblue   { color: mediumslateblue; }
.mediumspringgreen { color: mediumspringgreen; }
.mediumturquoise   { color: mediumturquoise; }
.mediumvioletred   { color: mediumvioletred; }
.midnightblue      { color: midnightblue; }
.mintcream         { color: mintcream; }
.mistyrose         { color: mistyrose; }
.moccasin          { color: moccasin; }
.navajowhite       { color: navajowhite; }
.navy              { color: navy; }
.oldlace           { color: oldlace; }
.olive             { color: olive; }
.olivedrab         { color: olivedrab; }
.orange            { color: orange; }
.orangered         { color: orangered; }
.orchid            { color: orchid; }
.palegoldenrod     { color: palegoldenrod; }
.palegreen         { color: palegreen; }
.paleturquoise     { color: paleturquoise; }
.palevioletred     { color: palevioletred; }
.papayawhip        { color: papayawhip; }
.peachpuff         { color: peachpuff; }
.peru              { color: peru; }
.pink              { color: pink; }
.plum              { color: plum; }
.powderblue        { color: powderblue; }
.purple            { color: purple; }
.red               { color: red; }
.rosybrown         { color: rosybrown; }
.royalblue         { color: royalblue; }
.saddlebrown       { color: saddlebrown; }
.salmon            { color: salmon; }
.sandybrown        { color: sandybrown; }
.seagreen          { color: seagreen; }
.seashell          { color: seashell; }
.sienna            { color: sienna; }
.silver            { color: silver; }
.skyblue           { color: skyblue; }
.slateblue         { color: slateblue; }
.slategray         { color: slategray; }
.slategrey         { color: slategrey; }
.snow              { color: snow; }
.springgreen       { color: springgreen; }
.steelblue         { color: steelblue; }
.tan               { color: tan; }
.teal              { color: teal; }
.thistle           { color: thistle; }
.tomato            { color: tomato; }
.turquoise         { color: turquoise; }
.violet            { color: violet; }
.wheat             { color: wheat; }
.white             { color: white; }
.whitesmoke        { color: whitesmoke; }
.yellow            { color: yellow; }
.yellowgreen       { color: yellowgreen; }
.very_light_lightsteelblue { color: rgb(222, 232, 245); }

#BG_gold                     { background-color: gold; }
#BG_lightgreen               { background-color: lightgreen; }
#background_colour_steelblue { background-color: steelblue; }
#background_colour_navajowhite {
  background-color: navajowhite;
}

#BG_white_and_darkblue {
  color:      darkblue;
  background: white;
}
        
#BG_black                    { background-color: black; }
#BG_white                    { background-color: white; }
#BG_steelblue                { background-color: steelblue; }
#BG_darkblue                 { background-color: darkblue; }
#BG_papayawhip               { background-color: papayawhip; }
#BG_yellow                   { background-color: yellow; }
#BG_royalblue                { background-color: royalblue; }
#BG_forestgreen              { background-color: forestgreen; }
#BG_dodgerblue               { background-color: dodgerblue; }
#BG_firebrick                { background-color: firebrick; }
#BG_floralwhite              { background-color: floralwhite; }
#BG_forestgreen              { background-color: forestgreen; }
#BG_fuchsia                  { background-color: fuchsia; }
#BG_gainsboro                { background-color: gainsboro; }
#BG_ghostwhite               { background-color: ghostwhite; }
#BG_grey                     { background-color: grey; }
#BG_lightgrey                { background-color: lightgrey; }

.BG_azure                    { background-color: azure; }
.BG_light_yellow             { background-color: rgb(255, 255, 204); }

/*
 * This denotes a very light yellowish colour. It can be used for
 * e. g. gtk-entry widgets.
 */
.BG_very_light_yellowish     { background-color: rgb(248, 247, 224); }
.BG_light_green              { background-color: rgb(186, 241, 133); } /* #baf185 */
.BG_khaki                    { background-color: khaki; }
.BG_lightgreen               { background-color: lightgreen; }
.BG_mintcream                { background-color: mintcream;  }
.BG_lightsteelblue           { background-color: lightsteelblue;  }
.BG_lightblue                { background-color: lightblue;  }
.BG_lightskyblue             { background-color: lightblue;  }
.BG_light_green              { background-color: rgb(171, 241, 193); } /* light green */
.BG_lightpink                { background-color: rgb(232, 149, 245); } /* light pink */
.BG_black                    { background-color: black; }
.BG_Black                    { background-color: black; }
.BG_white                    { background-color: white; }
.BG_White                    { background-color: white; }
.BG_steelblue                { background-color: steelblue; }
.BG_darkblue                 { background-color: darkblue; }
.BG_papayawhip               { background-color: papayawhip; }
.BG_yellow                   { background-color: yellow; }
.BG_Yellow                   { background-color: yellow; }
.BG_royalblue                { background-color: royalblue; }
.BG_forestgreen              { background-color: forestgreen; }
.BG_dodgerblue               { background-color: dodgerblue; }
.BG_firebrick                { background-color: firebrick; }
.BG_floralwhite              { background-color: floralwhite; }
.BG_forestgreen              { background-color: forestgreen; }
.BG_fuchsia                  { background-color: fuchsia; }
.BG_gainsboro                { background-color: gainsboro; }
.BG_ghostwhite               { background-color: ghostwhite; }
.BG_grey                     { background-color: grey; }
.BG_gold                     { background-color: gold; }
.BG_lightgrey                { background-color: lightgrey; }
.BG_very_light_grey          { background-color: rgb(239,240,241); }
