Add Algolia DocSearch

vivekjoshy · Jul 21, 2023 · 6a2e80e · 6a2e80e
1 parent f2a9330
commit 6a2e80e
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/docs/source/_static/custom.js b/docs/source/_static/custom.js
@@ -0,0 +1,8 @@
+docsearch({
+appId: 'TUWNQQ885H',
+apiKey: '65d911f00226e60a20d63592c1f0b800',
+indexName: 'openskill',
+insights: true,
+container: 'searchbox',
+debug: false
+});
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -65,6 +65,10 @@
 }
 html_css_files = [
     "custom.css",
+    "https://cdn.jsdelivr.net/npm/@docsearch/css@3&"
+]
+html_js_files = [
+    'custom.js',
 ]
 html_context = {
     "source_type": "github|gitlab",