3 ms·

I would think that there's a utility to screenshot a terminal window straight to HTML, colors and all.