docs: def whitespace(lines: float = 1.0):
      """
      Adds the specified number of lines of whitespace.
  
      :param lines:
          The number of lines of whitespace to show.
      """
      r = _get_report()
      r.append_body(render.whitespace(lines))
      r.stdout_interceptor.write_source('\n')