add new docsearch

This commit is contained in:
Philipp Kühn
2020-11-06 17:11:52 +01:00
parent 15c9efc5cf
commit 6d61c0801c
4 changed files with 76 additions and 9 deletions

View File

@@ -2,11 +2,11 @@
<html ${htmlAttrs}>
<head>
${head}
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.css" />
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@docsearch/css@alpha" />
</head>
<body ${bodyAttrs}>
${app}
${scripts}
<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/docsearch.js@2/dist/cdn/docsearch.min.js"></script>
<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/@docsearch/js@alpha"></script>
</body>
</html>
</html>