diff --git a/.gitignore b/.gitignore index 85be5b63..70c7da6b 100644 --- a/.gitignore +++ b/.gitignore @@ -28,8 +28,10 @@ sample_configs/testing*.toml # Cargo-deny deny.toml -# vscode +# Editors .vscode +.zed +.idea # mkdocs site/ diff --git a/docs/overrides/main.html b/docs/overrides/main.html index cb23fe08..c6ef225f 100644 --- a/docs/overrides/main.html +++ b/docs/overrides/main.html @@ -1,8 +1,8 @@ {% 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) -#}