[Rich] use fold in columns for overflow#220

bobot wants to merge 1 commit intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom

bobot:bobot/long_lines_disagreementsbobot/smt-comp.github.io:bobot/long_lines_disagreementsCopy head branch name to clipboard