From cb247590c7607ef544dfba10fb2eeacea37b6daf Mon Sep 17 00:00:00 2001
From: Tony Cebzanov <tonycpsu@gmail.com>
Date: Mon, 13 Feb 2017 23:51:32 -0500
Subject: [PATCH] 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              | 18 ++++++++++++++++++
 notebook/static/notebook/less/ansicolors.less |  2 ++
 2 files changed, 20 insertions(+)

diff --git a/notebook/static/base/js/utils.js b/notebook/static/base/js/utils.js
index 93df51748..58d30299c 100644
--- a/notebook/static/base/js/utils.js
+++ b/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;
diff --git a/notebook/static/notebook/less/ansicolors.less b/notebook/static/notebook/less/ansicolors.less
index b9fc09b3a..1e6efac51 100644
--- a/notebook/static/notebook/less/ansicolors.less
+++ b/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 */