diff --git a/notebook/static/notebook/less/ansicolors.less b/notebook/static/notebook/less/ansicolors.less index e53112328..95cf8f3cb 100644 --- a/notebook/static/notebook/less/ansicolors.less +++ b/notebook/static/notebook/less/ansicolors.less @@ -25,28 +25,3 @@ .ansi-bold { font-weight: bold; } .ansi-underline { text-decoration: underline; } - -/* The following styles are deprecated an will be removed in a future version */ - -.ansibold {font-weight: bold;} -.ansi-inverse { outline: 0.5px dotted; } - -/* use dark versions for foreground, to improve visibility */ -.ansiblack {color: black;} -.ansired {color: darkred;} -.ansigreen {color: darkgreen;} -.ansiyellow {color: #c4a000;} -.ansiblue {color: darkblue;} -.ansipurple {color: darkviolet;} -.ansicyan {color: steelblue;} -.ansigray {color: gray;} - -/* and light for background, for the same reason */ -.ansibgblack {background-color: black;} -.ansibgred {background-color: red;} -.ansibggreen {background-color: green;} -.ansibgyellow {background-color: yellow;} -.ansibgblue {background-color: blue;} -.ansibgpurple {background-color: magenta;} -.ansibgcyan {background-color: cyan;} -.ansibggray {background-color: gray;}