{# docs/_themes/ouster_press/util/righttoc.html #}
<nav class="right-toc">
  {{ toc }}
</nav>