extra-javascript eingefügt

2020-10-22 08:45:28 +02:00
parent 605f208f75
commit 471443a36a
4 changed files with 41 additions and 1 deletions
@@ -13,6 +13,10 @@ theme:
  logo: ../logo.png
  favicon: ../icon.png
  custom_dir: overrides
+extra_javascript:
+  - js/snap.svg-min.js
+  - js/underscore-min.js
+  - js/sequence-diagram-min.js
 markdown_extensions:
  - abbr
  - admonition
@@ -24,7 +28,7 @@ markdown_extensions:
  - pymdownx.tabbed
 plugins:
  - sequence-js:
-      theme: simple
+      theme: hand
      popup: true
  - with-pdf:
      copyright: Copyright © 2020 Bernd Reuther