in jdwpgen/src/main/java/build/tools/jdwpgen/RootNode.java [54:89]
void document(PrintWriter writer) {
writer.println("<!DOCTYPE html>");
writer.println("<html lang=\"en\">");
writer.println("<head>");
writer.println("<meta charset=\"utf-8\"/>");
writer.println("<title>" + comment() + "</title>");
writer.println("<style>");
writer.println("body { background-color:white; }");
writer.println("table { border: 1px solid grey; border-spacing:0px; border-collapse: separate; width: 90%; }");
writer.println("td, th { padding: 3px; border: 1px solid black; font-weight: normal; text-align: left; }");
writer.println(".bold { font-weight: bold; }");
writer.println(".centered { text-align: center; }");
for (int i = 0; i < maxStructIndent; i++) {
// each level is 40px
writer.println(".indent" + i + " { padding-left: " + (i * 40) + "px; }");
}
writer.println("</style>");
writer.println("</head>");
writer.println("<body>");
writer.println("<header>");
writer.println("<h1 id=\"Protocol_Details\">Java Debug Wire Protocol Details</h1>");
writer.println("</header>");
writer.println("<nav>");
writer.println("<ul>");
for (Node node : components) {
node.documentIndex(writer);
}
writer.println("</ul>");
writer.println("</nav>");
writer.println("<main>");
for (Node node : components) {
node.document(writer);
}
writer.println("</main>");
writer.println("</body></html>");
}