Edit (colorized) terminal output before printing?
Before starting your session, run the command bash | tee stdout.rtf. This starts a new bash session, recording the output in a file stdout.rtf. Now, simply edit stdout.rtf and print.