{# Used by the native header and mobile drawer; no custom navigation JavaScript. #}
<div class="plotsrv-site-links" aria-label="Plotsrv websites" role="group">
  <a href="https://plotsrv.com/">Website</a>
  <a href="https://demo.plotsrv.com/">Demos</a>
  <a href="{{ config.repo_url }}">GitHub <span aria-hidden="true">↗</span></a>
</div>