docs: public static String padding(int width) {
          if (width < 0)
              throw new IllegalArgumentException("width must be > 0");
  
          if (width < padding.length)
              return padding[width];
          char[] out = new char[width];
          for (int i = 0; i < width; i++)
              out[i] = ' ';
          return String.valueOf(out);
      }