Main

{% extends "base.html" %} {% block announce %} {#- It's like helm and you need to add dashes, see https://github.com/squidfunk/mkdocs-material/discussions/5803#discussioncomment-7690065; note that _Jinja_ comments need to be used, not HTML -#} {%- if config.extra.nightly -%} {#- Need to reapply margin from base CSS, which is overridden in extra CSS (to fix empty banner) -#}

This is nightly documentation, and it may differ from stable. Please see here for stable documentation. {%- endif -%} {% endblock %}