{# Top bar — brand wordmark + scan ID + theme toggle + download. See spec
   § 0a Top bar.

   T52: the Download button POSTs to the new ``/r/<id>/download`` route
   which returns a self-contained copy of the same report (inlined CSS
   + JS, Content-Disposition: attachment). Hidden in download_mode so a
   saved offline file doesn't carry a stale download link back to a
   server it can no longer reach. The theme toggle stays in both modes
   -- it's pure-client state and works fine offline. #}
<div class="topbar">
  <div class="brand">browser-recon<span class="dot">.</span></div>
  <div class="topbar-meta">
    <span>SCAN&nbsp;·&nbsp;{{ report.scan_id }}</span>
    <!-- T55: DOWNLOAD button hidden in V1; restore when there's demand -->
    {# T55 step 8: DOWNLOAD report button commented out for V1 per spec
       § 07. Re-enable when a paying user asks. The /r/<id>/download
       route is still live (so saved bookmarks keep working), just no
       longer surfaced in the UI. #}
    {# {% if not download_mode %}
    <a href="/r/{{ report.report_id }}/download"
       download
       class="theme-toggle"
       style="text-decoration:none;"
       aria-label="Download report as a self-contained HTML file">
      Download
    </a>
    {% endif %} #}
    {% include 'partials/theme_toggle.html' %}
  </div>
</div>