mermaid geändert

2020-10-22 11:17:29 +02:00
parent c14ebd643e
commit c7d59736e6
1 changed files with 2 additions and 1 deletions
@@ -25,6 +25,7 @@ markdown_extensions:
  - pymdownx.keys
  - pymdownx.tabbed
 plugins:
+  - search
  - with-pdf:
      copyright: Copyright © 2020 Bernd Reuther
      toc_title: Inhaltsverzeichnis