diff --git a/Dockerfile b/Dockerfile index 4b11d882809ca6eb1d574e20306bb2cd279f5a42..ec246a77566bbbba03b613ce49ec745a82f46f51 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM python:3.8-bullseye +FROM python:3.12-bookworm SHELL ["/bin/bash", "-c"] @@ -6,7 +6,7 @@ SHELL ["/bin/bash", "-c"] # Base # ######## -RUN pip install mkdocs>=1.1.2 mkdocs-material==8.5.11 mkdocs-htmlproofer-plugin==1.2.1 mkdocs-video==1.3.0 +RUN pip install mkdocs>=1.6.0 mkdocs-material==9.5.22 mkdocs-htmlproofer-plugin==1.2.1 mkdocs-video==1.5.0 ########## # Linter # @@ -14,7 +14,7 @@ RUN pip install mkdocs>=1.1.2 mkdocs-material==8.5.11 mkdocs-htmlproofer-plugin= RUN apt-get update && apt-get install -y nodejs npm aspell git git-lfs -RUN npm install -g markdownlint-cli@0.32.2 markdown-link-check +RUN npm install -g markdownlint-cli@0.40.0 markdown-link-check ########################################### # prepare git for automatic merging in CI # diff --git a/doc.zih.tu-dresden.de/mkdocs.yml b/doc.zih.tu-dresden.de/mkdocs.yml index d2b2bc9feb444046b96ee93b84c0826418e0985a..06d4aee3a10cd19514cbf93a1c920439cdd678a1 100644 --- a/doc.zih.tu-dresden.de/mkdocs.yml +++ b/doc.zih.tu-dresden.de/mkdocs.yml @@ -173,7 +173,6 @@ edit_uri: blob/preview/doc.zih.tu-dresden.de/docs/ theme: # basetheme - name: material # disable fonts being loaded from google fonts @@ -221,7 +220,8 @@ markdown_extensions: plugins: - - search + - search: + separator: '[\s\-,:!=\[\]\(\)"/]+|(?!\b)(?=[A-Z][a-z])|\.(?!\d)|&[lg]t;' - markdown-caption # https://github.com/manuzhang/mkdocs-htmlproofer-plugin - htmlproofer: diff --git a/doc.zih.tu-dresden.de/tud_theme/partials/header.html b/doc.zih.tu-dresden.de/tud_theme/partials/header.html index 4b28fab9289088db78f1a0ee519a7f5594ad8d38..9fad2d191b113d4367536ec342f6a95d7438b8f6 100644 --- a/doc.zih.tu-dresden.de/tud_theme/partials/header.html +++ b/doc.zih.tu-dresden.de/tud_theme/partials/header.html @@ -69,7 +69,7 @@ </div> <!-- Button to open search modal --> - {% if "search" in config["plugins"] %} + {% if "material/search" in config["plugins"] %} <label class="md-header__button md-icon" for="__search"> {% include ".icons/material/magnify.svg" %} </label>