ansi colors to html format