String genLine([String pre = '', String suf = '╝']) => '$pre${'═' * (lineWidth - pre.length - suf.length)}$suf';