Convert colored ansi text to html with solarized coloring