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("