");
b.append("
Contents
\n");
int level = minLevel-1;
for(HeaderNode header : headers) {
if(header.level < minLevel)
continue;
while(header.level != level) {
if(header.level > level) {
b.append("
\n");
++level;
}
else {
b.append("
\n");
--level;
}
}
b.append("
");
header.toPlainText(b);
b.append("\n");
}
while(level >= minLevel) {
b.append("\n");
--level;
}
b.append("
");
}
}
private static void addHTMLHeader(StringBuilder b) {
b.append("\n");
b.append("\n");
b.append("\n");
b.append("