docs: def pad_equal_whitespace(string, pad=None):
      """Given a multiline string, add whitespaces to every line
      so that every line has the same length."""
      if pad is None: pad = max(map(len, string.split('\n'))) + 1
      return '\n'.join(('{0: <%i}' % pad).format(line) for line in string.split('\n'))