Support ANSI underline and inverse properties.

* Parse underline and inverse in ANSI escape codes
* Add CSS classes for same, using a subtle outline for inverse

notebook/static/base/js/utils.js

@@ -282,6 +282,8 @@ define([
         var fg = [];
         var bg = [];
         var bold = false;
+        var underline = false;
+        var inverse = false;
         var match;
         var out = [];
         var numbers = [];
@@ -330,6 +332,14 @@ define([
                     classes.push("ansi-bold");
                 }
 
+                if (underline) {
+                    classes.push("ansi-underline");
+                }
+
+                if (inverse) {
+                    classes.push("ansi-inverse");
+                }
+
                 if (classes.length || styles.length) {
                     out.push("<span");
                     if (classes.length) {
@@ -353,11 +363,19 @@ define([
                     case 0:
                         fg = bg = [];
                         bold = false;
+                        underline = false;
+                        inverse = false;
                         break;
                     case 1:
                     case 5:
                         bold = true;
                         break;
+                    case 4:
+                        underline = true;
+                        break;
+                    case 7:
+                        inverse = true;
+                        break;
                     case 21:
                     case 22:
                         bold = false;

notebook/static/notebook/less/ansicolors.less

@@ -21,6 +21,8 @@
 .ansicolors(white, #C5C1B4, #A1A6B2);
 
 .ansi-bold { font-weight: bold; }
+.ansi-underline { text-decoration: underline; }
+.ansi-inverse { outline: 0.5px dotted; }
 
 /* The following styles are deprecated an will be removed in a future version */