final HTMLElement td = tr.td(headerStyle);
td.attr("id", String.valueOf(idprefix));
if (index != null) {
td.attr("onclick", "toggleSort(this)");
}
td.text(header);
}
}
void footer(final HTMLElement tr, final ICoverageNode total,
final Resources resources, final ReportOutputFolder base)