docs: public void dumpTo(AreaTree tree, PrintWriter out)
      {
          if (produceHeader)
          {
              out.println("<!DOCTYPE html>");
              out.println("<html>");
              out.println("<head>");
              out.println("<title>" + tree.getRoot().getPage().getTitle() + "</title>");
              out.println("<meta charset=\"utf-8\">");
              out.println("<meta name=\"generator\" content=\"FITLayout - area tree dump\">");
              out.println("</head>");
              out.println("<body>");
          }
          recursiveDumpArea(tree.getRoot(), 1, out);
          if (produceHeader)
          {
              out.println("</body>");
              out.println("</html>");
          }
      }