{% set is_sherpa_home = page.is_homepage or page.url == '' %} {% include "templates/dark.html" %} {% if is_sherpa_home %} {% endif %} {% include "templates/seo.html" %} {%- 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.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" %}
{% set hide_toc = page.is_homepage or page.url == '' %}
{% include "templates/page.html" %} {% include "templates/bottom_navigation.html" %} {% include "templates/bottom_sidebar.html" %}
{% if not hide_toc %} {% endif %}
{% include "templates/footer.html" %}
{%- for script in config.extra_javascript %} {% include "templates/script.html" %} {%- endfor %} {% if 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" %}