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: