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

$red:   #F00;
$amber: #FF0;
$green: #0F0;
$blue:  #00F;

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

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

$diff-added-count-color: lighten($green, 35%);
$diff-deleted-count-color: lighten($red, 35%);
$diff-same-count-color: Gray;

$projector-background: white;

$diff-added-line-background: lighten($green, 45%);
$diff-deleted-line-background: lighten($red, 45%);


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

$red:   #F00;
$amber: #FF0;
$green: #0F0;
$blue:  #00F;

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

.timed_out { color: gray; }
.faulty    { color: darkGray; }
.pulling   { color: #2CDFF0; }

$diff-added-count-color: lighten($green, 35%);
$diff-deleted-count-color: lighten($red, 35%);
$diff-same-count-color: Gray;

$projector-background: white;

$diff-added-line-background: lighten($green, 45%);
$diff-deleted-line-background: lighten($red, 45%);

Use better blue for image-pulling CSS colour
Use better blue for image-pulling CSS colour
