Add toc and include all findings in the report

report_generator/template/report.css

@@ -420,3 +420,26 @@ p.note {
 .legend .caveat {
     color: var(--muted);
 }
+
+/* --- Table of contents -------------------------------------------------------------------- */
+
+/* Page numbers are read off where each link lands, so they stay right however long a section runs. */
+.toc {
+    list-style: none;
+    padding: 0;
+    margin: 0;
+}
+
+.toc li {
+    padding: 1.4mm 0;
+    border-bottom: 0.4pt solid var(--border);
+}
+
+.toc a {
+    color: var(--ink);
+    text-decoration: none;
+}
+
+.toc a::after {
+    content: leader(".") target-counter(attr(href), page);
+}

report_generator/template/report.html.j2

@@ -121,8 +121,17 @@
   </table>
 {% endif %}
 
+{% if contents %}
+  <h1 style="break-before: page">Table of Contents</h1>
+  <ol class="toc">
+    {% for entry in contents %}
+      <li><a href="#{{ entry.id }}">{{ entry.title }}</a></li>
+    {% endfor %}
+  </ol>
+{% endif %}
+
 {% if scan %}
-  <h1 style="break-before: page">{{ scan.title }}</h1>
+  <h1 id="{{ scan.id }}" style="break-before: page">{{ scan.title }}</h1>
   {{ facts(scan.overview, wide=true) }}
 
   {% for stage in scan.stages %}
@@ -133,7 +142,7 @@
 {% endif %}
 
 {% if project %}
-  <h1 style="break-before: page">{{ project.title }}</h1>
+  <h1 id="{{ project.id }}" style="break-before: page">{{ project.title }}</h1>
   {{ facts(project.overview, wide=true) }}
 
   {% if project.languages %}
@@ -150,7 +159,7 @@
 {% endif %}
 
 {% if summary %}
-  <h1>{{ summary.title }}</h1>
+  <h1 id="{{ summary.id }}"{% if not project %} style="break-before: page"{% endif %}>{{ summary.title }}</h1>
   {{ facts(summary.overview, wide=true) }}
 
   {% for block in summary.distributions %}
@@ -164,12 +173,12 @@
 {% endif %}
 
 {% if critical %}
-  <h2 style="break-before: page">{{ critical.title }}</h2>
+  <h2 id="{{ critical.id }}" style="break-before: page">{{ critical.title }}</h2>
   {{ grid(critical.table) }}
 {% endif %}
 
 {% for section in sections %}
-  <h1{% if section.new_page %} style="break-before: page"{% endif %}>{{ section.title }}</h1>
+  <h1{% if section.id %} id="{{ section.id }}"{% endif %}{% if section.new_page %} style="break-before: page"{% endif %}>{{ section.title }}</h1>
 
   {% for group in section.groups %}
     <h2>{{ group.title }}</h2>