feat: show legends for base and non-competing only when at least one

solver present

Author: wintered

web/themes/smtcomp/layouts/_default/result.html

@@ -6,6 +6,9 @@
   {{ $trueDivision := and (isset .Params "logics") (.Params.logics | len | ne 0) }}
   {{ $prettyTrack := index .Site.Data.pretty_names.track .Params.track }}
 
+  {{ $hasBaseSolvers := false }}
+  {{ $hasNoncompetingSolvers := false }}
+
   <h1>{{ .Params.division }} ({{ $prettyTrack }})</h1>
 <p>
   Competition results for the {{ .Params.division }}
@@ -88,6 +91,12 @@ <h3>{{ index $category_names $cat }} Performance</h3>
     </tr>
 </thead>
 {{ range $solver := . }}
+
+{{ if eq $solver.competing "no" }}
+    {{ $.Scratch.Set "hasNonCompetingSolvers" true }}
+{{ end }}
+
+
 <tr {{ if eq $solver.competing "no" }}class="non-competing" {{ end }}>
     <td {{ if eq $solver.competing "no" }}style="color:grey" {{ end }}>
       {{ $solver.name }} {{ if eq $solver.competing "no" }}<sup><a href="#nc">n</a></sup>{{ end }}
@@ -100,6 +109,7 @@ <h3>{{ index $category_names $cat }} Performance</h3>
     <td class="right" {{ if eq $solver.competing "no" }}style="color:grey" {{ end }}>
     {{ $solver.correctScore }}
     {{ if not (eq $solver.baseSolver "") }}
+        {{ $.Scratch.Set "hasBaseSolvers" true }}
         {{ if not (lt $solver.deltaBaseSolver 0) }}
       <br><span style="display: block; font-size: 0.7em; line-height: 1.4;">(base +{{ $solver.deltaBaseSolver }})</span>
         {{ else }}
@@ -121,12 +131,21 @@ <h3>{{ index $category_names $cat }} Performance</h3>
 </tr>
 {{ end }}
 </table>
+
+{{ if ($.Scratch.Get "hasBaseSolvers") }}
 <span style="display: block; font-size: 0.7em; line-height: 1.4;">
     (base +/- n): for derived solvers: increment over base solver <br>
 </span>
+{{ end }}
+
+{{ if ($.Scratch.Get "hasNonCompetingSolvers") }}
 <span style="display: block; font-size: 0.7em; line-height: 1.4; color: grey">
     <sup>n</sup>: non-competing solver
 </span>
+{{ end }}
+
+
+
 {{ end }}
 {{ end }}