se := .}}
  {{range $i, $p := .Progs}}
    <pre class="file" id="prog_{{$i}}">
      {{if $base.RawCover}}<a href="/debuginput?sig={{$p.Sig}}">[raw coverage]</a><br />{{end}}
      {{$p.Content}}
    </pre>
  {{end}}
  {{range $i, $p := .Functions}}
    <div class="function list" id="function_{{$i}}">{{$p}}</div>
  {{end}}
</div>
</body>
<script>
  (function() {
    var toggler = document.getElementsByClassName("caret");
    for (var i = 0; i < toggler.length; i++) {
      toggler[i].addEventListener("click