Update the ANSI log colours

assets/styles/_mixins/colors.sass

@@ -42,7 +42,7 @@ $slate-yellow-2: #bab9a7
 $color-text: $gray-dark-3
 $color-text-light: $gray-medium-1
 $color-text-lighter: $gray-medium-2
-$color-text-log: $white
+$color-text-log: #F1F1F1
 
 $color-link: $gray-dark-3
 $color-link-highlight: $red-medium-1
@@ -61,10 +61,10 @@ $color-bg-pre: $gray-light-2
 $color-bg-tab: $gray-light-3
 $color-bg-tab-hover: $white
 $color-bg-tab-active: $white
-$color-bg-log: $gray-dark-1
-$color-bg-log-fold: $gray-dark-2
-$color-bg-log-hover: #555
-$color-bg-log-highlight: #747882
+$color-bg-log: $black
+$color-bg-log-fold: $gray-dark-1
+$color-bg-log-hover: $gray-dark-2
+$color-bg-log-highlight: $gray-dark-3
 $color-bg-slider: $slate-blue-3
 $color-bg-left: $gray-light-4
 $color-bg-list-odd: $white
@@ -114,3 +114,20 @@ $color-bg-flash-success: #ebfcc2
 $color-bg-flash-notice: lightGoldenrodYellow
 $color-bg-flash-error: #f5d7d3
 $color-bg-flash-broadcast: #efefef
+
+$ansi-black: #4E4E4E
+$ansi-black-bright: #7C7C7C
+$ansi-red: #FF6C60
+$ansi-red-bright: #FFB6B0
+$ansi-green: #A8FF60
+$ansi-green-bright: #CEFFAB
+$ansi-yellow: #FFFFB6
+$ansi-yellow-bright: #FFFFCB
+$ansi-blue: #96CBFE
+$ansi-blue-bright: #B5DCFE
+$ansi-magenta: #FF73FD
+$ansi-magenta-bright: #FF9CFE
+$ansi-cyan: #C6C5FE
+$ansi-cyan-bright: #DFDFFE
+$ansi-white: #EEEEEE
+$ansi-white-bright: #FFFFFF

assets/styles/ansi.sass

@@ -1,3 +1,5 @@
+@import "_mixins/all"
+
 // ansi styles, see javascripts/lib/deansi.js
 .ansi
   .bold
@@ -7,37 +9,51 @@
   .underscore
     // monochrome displays only according to http://ascii-table.com/ansi-escape-sequences.php
   .black
-    color: black
-  .red
-    color: red
-  .green
-    color: lime
-  .yellow
-    color: yellow
-  .blue
-    color: blue
-  .magenta
-    color: magenta
-  .cyan
-    color: cyan
-  .white
-    color: white
+    color: $ansi-black
   .black.bright
-    color: #999
+    color: $ansi-black-bright
+  .red
+    color: $ansi-red
+  .red.bright
+    color: $ansi-red-bright
+  .green
+    color: $ansi-green
+  .green.bright
+    color: $ansi-green-bright
+  .yellow
+    color: $ansi-yellow
+  .yellow.bright
+    color: $ansi-yellow-bright
+  .blue
+    color: $ansi-blue
+  .blue.bright
+    color: $ansi-blue-bright
+  .magenta
+    color: $ansi-magenta
+  .magenta.bright
+    color: $ansi-magenta-bright
+  .cyan
+    color: $ansi-cyan
+  .cyan
+    color: $ansi-cyan-bright
+  .white
+    color: $ansi-white
+  .white.bright
+    color: $ansi-white-bright
   .bg-black
-    background-color: black
+    background-color: $ansi-black
   .bg-red
-    background-color: red
+    background-color: $ansi-red
   .bg-green
-    background-color: lime
+    background-color: $ansi-green
   .bg-yellow
-    background-color: yellow
+    background-color: $ansi-yellow
   .bg-blue
-    background-color: blue
+    background-color: $ansi-blue
   .bg-magenta
-    background-color: magenta
+    background-color: $ansi-magenta
   .bg-cyan
-    background-color: cyan
+    background-color: $ansi-cyan
   .bg-white
-    background-color: white
+    background-color: $ansi-white