diff --git a/.gitlab-ci.main.kts b/.gitlab-ci.main.kts
--- a/.gitlab-ci.main.kts
+++ b/.gitlab-ci.main.kts
@@ -10,7 +10,7 @@
import opensavvy.gitlab.ci.script.shell
// https://gitlab.com/opensavvy/automation/containers/-/releases
-val ciContainers = "0.8.2"
+val ciContainers = "0.8.4"
/**
* The URL of the website built by /docs/website.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,7 +12,7 @@
variables:
# https://gitlab.com/opensavvy/automation/containers
- ci_containers: 0.8.2
+ ci_containers: 0.8.4
workflow:
rules:
diff --git a/.idea/runConfigurations/Documentation_website.xml b/.idea/runConfigurations/Documentation_website.xml
--- a/.idea/runConfigurations/Documentation_website.xml
+++ b/.idea/runConfigurations/Documentation_website.xml
@@ -8,7 +8,7 @@
-
+
diff --git a/.idea/runConfigurations/Open_documentation_website.xml b/.idea/runConfigurations/Open_documentation_website.xml
--- a/.idea/runConfigurations/Open_documentation_website.xml
+++ b/.idea/runConfigurations/Open_documentation_website.xml
@@ -1,5 +1,5 @@
-
+
diff --git a/docs/website/mkdocs.yml b/docs/website/mkdocs.yml
--- a/docs/website/mkdocs.yml
+++ b/docs/website/mkdocs.yml
@@ -13,16 +13,18 @@
- content.code.annotate
- content.code.copy
- content.code.select
- # - content.footnote.tooltips
+ - content.footnote.tooltips
- content.tabs.link
- content.tooltips
# - header.autohide
# - navigation.expand
- navigation.footer
- navigation.indexes
- # - navigation.instant
- # - navigation.instant.prefetch
- # - navigation.instant.progress
+ - navigation.instant
+ - navigation.instant.prefetch
+ - navigation.instant.progress
+ - navigation.instant.preview
+ - navigation.path
# - navigation.prune
- navigation.sections
- navigation.tabs
@@ -60,14 +62,16 @@
name: "Dark theme (click to switch to system)"
plugins:
- # - social # https://github.com/squidfunk/mkdocs-material/issues/7818
+ - social
- search
- privacy
+ - optimize
- blog:
post_excerpt: optional
authors: false
blog_dir: news
- - tags
+ - tags:
+ tags_hierarchy: true
- rss:
match_path: 'news/posts/.*'
date_from_meta: