{% include "templates/dark.html" %} {% if page %} {% include "templates/seo.html" %} {% endif %} {%- if config.theme.favicon %} {%- else %} {%- endif %} {% if "codehilite" in config.markdown_extensions %} {% include "templates/external/pygments.html" %} {% endif %} {%- for path in config.extra_css %} {%- endfor %} {% if page and page.meta.extra_css %} {%- for path in page.meta.extra_css %} {%- endfor %} {% endif %} {% if "pymdownx.arithmatex" in config.markdown_extensions %} {% include "templates/external/katex.html" %} {% endif %} {% if "shadcn.extensions.echarts.alpha" in config.markdown_extensions %} {% include "templates/external/echarts.html" %} {% endif %} {% if "shadcn/excalidraw" in config.plugins and is_dev_server %} {% include "templates/external/excalidraw.html" %} {% endif %} {% if "toc" in config.markdown_extensions %} {% include "templates/permalink.html" %} {% endif %} {# can inject extra head content here through overrides #} {% include "templates/extra_head.html" %}
{% include "templates/header.html" %}
{% block page %} {% if page %} {% include "templates/page.html" %} {% include "templates/bottom_navigation.html" %} {% endif %} {% endblock page %}
{# burger menu (phone) #} {% include "templates/bottom_sidebar.html" %}
{% include "templates/footer.html" %}
{%- for script in config.extra_javascript %} {% include "templates/script.html" %} {%- endfor %} {% if page and page.meta.extra_javascript %} {%- for script in page.meta.extra_javascript %} {% include "templates/script.html" %} {%- endfor %} {% endif %} {% if config.theme.show_stargazers %} {% endif %} {% if "mkdocstrings" in config.plugins %} {% include "templates/external/mkdocstrings.html" %} {% endif %} {% if "shadcn.extensions.codexec" in config.markdown_extensions %} {% include "templates/external/codexec.html" %} {% endif %} {% include "templates/speculation_rules.html" %}