{# The admin pages' own navigation, under the main bar. #}
{% set p = request.url.path if request else "" %}
<nav class="subnav" aria-label="Admin sections">
{% for href, label, match in [("/admin", "Overview", "/admin"), ("/admin/users", "Users", "/admin/users"), ("/admin/activity", "Activity log", "/admin/activity"),
                              ("/admin/db", "Database", "/admin/db"), ("/admin/sql", "SQL console", "/admin/sql"), ("/admin/monitors", "Lab monitors", "/admin/monitors"),
                              ("/markets/linked", "Linked markets", "/markets/linked"), ("/orders", "Order log", "/orders")]
                             + ([("/admin/mcp", "MCP", "/admin/mcp")] if has_mcp() else []) %}
<a href="{{ href }}"{% if p == match or (match != '/admin' and p.startswith(match)) %} aria-current="page"{% endif %}>{{ label }}</a>{% endfor %}
</nav>