Convert text with ANSI color codes to HTML or to LaTeX.

Copyright © 2019. All Rights Reserved