{# site/templates/base.html #}
<!DOCTYPE html>
<html lang="en">
<head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>{% block title %}Proof Engine{% endblock %}</title>
    <meta name="description" content="{% block meta_description %}Open-source verifiable proofs. Every fact cited, every calculation re-runnable.{% endblock %}">
    {% if canonical_url %}<link rel="canonical" href="{{ canonical_url }}">{% endif %}
    {% if noindex %}<meta name="robots" content="noindex">{% endif %}
    <meta property="og:title" content="{% block og_title %}{{ self.title() }}{% endblock %}">
    <meta property="og:description" content="{% block og_description %}{{ self.meta_description() }}{% endblock %}">
    {% if canonical_url %}<meta property="og:url" content="{{ canonical_url }}">{% endif %}
    <meta property="og:type" content="{{ og_type | default('website') }}">
    <meta property="og:site_name" content="Proof Engine">
    <meta name="twitter:card" content="summary_large_image">
    <meta name="twitter:title" content="{{ self.og_title() }}">
    <meta name="twitter:description" content="{{ self.og_description() }}">
    {% block og_image %}<meta property="og:image" content="{{ site_url }}{{ base_url }}static/og-default.png">
    <meta name="twitter:image" content="{{ site_url }}{{ base_url }}static/og-default.png">{% endblock %}
    <script async src="https://www.googletagmanager.com/gtag/js?id=G-KSGK7C8RGD"></script>
    <script>window.dataLayer=window.dataLayer||[];function gtag(){dataLayer.push(arguments);}gtag('js',new Date());gtag('config','G-KSGK7C8RGD');</script>
    <link rel="preconnect" href="https://fonts.googleapis.com">
    <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
    <link href="https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@400;500;700&display=swap" rel="stylesheet">
    <link rel="icon" href="{{ base_url }}static/favicon.ico" sizes="32x32">
    <link rel="icon" href="{{ base_url }}static/favicon-192.png" type="image/png" sizes="192x192">
    <link rel="apple-touch-icon" href="{{ base_url }}static/apple-touch-icon.png">
    <link rel="stylesheet" href="{{ base_url }}static/style.css">
    <link rel="stylesheet" href="{{ base_url }}static/vendor/katex/katex.min.css">
    {% block head_extra %}{% endblock %}
</head>
<body{% block body_attrs %}{% endblock %}>
    {% block nav %}
    <nav class="site-nav">
        <div class="nav-inner">
            <a href="{{ base_url }}" class="nav-logo">⟨proof-engine⟩</a>
            <div class="nav-links">
                <a href="{{ base_url }}proofs/">proofs</a>
                <a href="{{ base_url }}methodology/">methodology</a>
                <a href="{{ base_url }}submit/">submit</a>
                <a href="https://github.com/yaniv-golan/proof-engine" class="nav-github" rel="nofollow" aria-label="GitHub">
                    <svg height="16" width="16" viewBox="0 0 16 16" aria-hidden="true"><path d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0016 8c0-4.42-3.58-8-8-8z"></path></svg>
                </a>
            </div>
        </div>
    </nav>
    {% endblock %}
    <main class="content">
        {% block content %}{% endblock %}
    </main>
    {% block footer %}
    <footer class="site-footer">
        <div class="footer-inner">
            <p>built with <a href="https://github.com/yaniv-golan/proof-engine" rel="nofollow">⟨proof-engine⟩</a> — open-source verifiable proofs</p>
        </div>
    </footer>
    {% endblock %}
    <script defer src="{{ base_url }}static/vendor/katex/katex.min.js"></script>
    <script defer src="{{ base_url }}static/vendor/katex/contrib/auto-render.min.js"></script>
    <script>document.addEventListener("DOMContentLoaded",function(){if(typeof renderMathInElement==="function"){renderMathInElement(document.body,{delimiters:[{left:"\\(",right:"\\)",display:false},{left:"\\[",right:"\\]",display:true}],throwOnError:false})}});</script>
    {% block scripts %}{% endblock %}
</body>
</html>
