double_line: BorderStyle.new(
            top_left_corner:      '╔',
            top_border:           '═',
            top_joined_border:    '╦',
            top_right_corner:     '╗',