vt100 colors export to LaTex