docs: private static int getFontSize() {
          if (Toolkit.getDefaultToolkit().getScreenResolution() >= 110) {
              // Rely on DPI if it is a high value.
              return Toolkit.getDefaultToolkit().getScreenResolution() / 7 + 1;
          } else {
              // Otherwise try to guess it from the monitor size:
              // If the width is wider than Full HD (1080p, or 1920x1080), then assume it's high-DPI.
              GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment();
              if (ge.getMaximumWindowBounds().getWidth() > 4096) {
                  return 56;
              } else if (ge.getMaximumWindowBounds().getWidth() > 2048) {
                  return 28;
              } else {
                  return 14;
              }
          }
      }