From 7f434c041389ec7edf2137db2f4172be8ad1d36b Mon Sep 17 00:00:00 2001 From: Matthias Date: Sun, 20 Jun 2021 09:37:32 +0200 Subject: [PATCH] Simplify mkdocs jquery inclusion by using overrides instead of partials --- docs/overrides/main.html | 10 ++++++ docs/partials/header.html | 72 --------------------------------------- mkdocs.yml | 2 +- 3 files changed, 11 insertions(+), 73 deletions(-) create mode 100644 docs/overrides/main.html delete mode 100644 docs/partials/header.html diff --git a/docs/overrides/main.html b/docs/overrides/main.html new file mode 100644 index 000000000..5b116de4b --- /dev/null +++ b/docs/overrides/main.html @@ -0,0 +1,10 @@ +{% extends "base.html" %} + +{% block footer %} + {{ super() }} + + + + +{% endblock %} diff --git a/docs/partials/header.html b/docs/partials/header.html deleted file mode 100644 index 22132bc96..000000000 --- a/docs/partials/header.html +++ /dev/null @@ -1,72 +0,0 @@ -{#- -This file was automatically generated - do not edit --#} -{% set site_url = config.site_url | d(nav.homepage.url, true) | url %} -{% if not config.use_directory_urls and site_url[0] == site_url[-1] == "." %} -{% set site_url = site_url ~ "/index.html" %} -{% endif %} -
- - - - -
diff --git a/mkdocs.yml b/mkdocs.yml index cc5747225..e3e1ade86 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -42,7 +42,7 @@ theme: name: material logo: 'images/logo.png' favicon: 'images/logo.png' - custom_dir: 'docs' + custom_dir: 'docs/overrides' palette: primary: 'blue grey' accent: 'tear'