{{- if not (isset .Site.Params "pdfgen") -}}
<details{{ if not (.Get "collapse") }} open{{ end }} class="proof-details enlarge-quarter">
  <summary>Proof</summary>
  <div class="markdown-inner">
    {{ .InnerDeindent | safeHTML }}
  </div>
</details>
{{- else -}}
<div class="proof">
  <div class="markdown-inner">
    {{ .InnerDeindent | safeHTML }}
  </div>
</div>
{{- end -}}