docs: def set_hr_widths(result):
      """
      We want the hrs indented by hirarchy...
      A bit 2 much effort to calc, maybe just fixed with 10
      style seps would have been enough visually:
      ◈────────────◈
      """
      # set all hrs to max width of text:
      mw = 0
      hrs = []
      if not hr_marker in result:
          return result
      for line in result.splitlines():
          if hr_marker in line:
              hrs.append(line)
              continue
          if len(line) < mw:
              continue
          l = len(clean_ansi(line))
          if l > mw:
              mw = l
      for hr in hrs:
          # pos of hr marker is indent, derives full width:
          # (more indent = less '-'):
          hcl = clean_ansi(hr)
          ind = len(hcl) - len(hcl.split(hr_marker, 1)[1]) - 1
          w = min(term_columns, mw) - 2 * ind
          hrf = hr.replace(hr_marker, hr_sep * w)
          result = result.replace(hr, hrf)
      return result