
$black: #000;
$darker-color: darken(#666, 25%);
$lighter-color: lighten(Khaki, 10%);
$text-color: darken($lighter-color, 10%);

$red: #F00;
$amber: #FF0;
$green: #0F0;

.green { color: $green; }
.amber { color: $amber; }
.red   { color: lighten($red, 10%); }
.timed_out { color: darkGray; }

$diff-added-color: lighten($green, 25%);
$diff-deleted-color: lighten($red, 25%);


$black: #000;
$darker-color: darken(#666, 25%);
$lighter-color: lighten(Khaki, 10%);
$text-color: darken($lighter-color, 10%);

$red: #F00;
$amber: #FF0;
$green: #0F0;

.red       { color: lighten($red, 10%); }
.amber     { color: $amber; }
.green     { color: $green; }

.timed_out { color: gray; }
.faulty    { color: darkGray; }

$diff-added-color: lighten($green, 25%);
$diff-deleted-color: lighten($red, 25%);

Add css colour for faulty traffic-light.
Add css colour for faulty traffic-light.

This is used to colour the traffic-light count.
