{# Diagram source only. js/mermaid.js loads the renderer lazily, and only on
   pages that actually contain one of these. #}
<div class="mermaid-figure">
  <pre class="mermaid">{{ body }}</pre>
</div>