add algolia search

2020-08-13 17:27:34 +02:00
parent 241060f827
commit 4753688d60
2 changed files with 29 additions and 2 deletions
--- a/docs/src/index.html
+++ b/docs/src/index.html
@@ -0,0 +1,12 @@
+<!DOCTYPE html>
+<html ${htmlAttrs}>
+  <head>
+    ${head}
+    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" />
+  </head>
+  <body ${bodyAttrs}>
+    ${app}
+    ${scripts}
+    <script type="text/javascript" src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
+  </body>
+</html>