##// END OF EJS Templates
remove Firefox-specific CSS workaround...
remove Firefox-specific CSS workaround The bug being worked around appears to be fixed either in CodeMirror or Firefox (tested with FF 29). Importantly, the workaround appears to *introduce* incorrect behavior closes #5192 closes #5364

File last commit:

r11312:775f86e1
r16716:a67ac8ec
Show More
ansicolors.less
25 lines | 745 B | text/x-less | LessCssLexer
/* CSS font colors for translated ANSI colors. */
.ansibold {font-weight: bold;}
/* use dark versions for foreground, to improve visibility */
.ansiblack {color: black;}
.ansired {color: darkred;}
.ansigreen {color: darkgreen;}
.ansiyellow {color: brown;}
.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;}