From 127fbe50a287f8a89559a5ca34e65941418b619a Mon Sep 17 00:00:00 2001
From: Quinn Dougherty <quinnd@riseup.net>
Date: Thu, 18 Aug 2022 15:13:23 -0700
Subject: [PATCH] docs site: algolia search

---
 packages/website/docusaurus.config.js | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/packages/website/docusaurus.config.js b/packages/website/docusaurus.config.js
index f48ac952..3949e98b 100644
--- a/packages/website/docusaurus.config.js
+++ b/packages/website/docusaurus.config.js
@@ -52,6 +52,29 @@ const config = {
   themeConfig:
     /** @type {import('@docusaurus/preset-classic').ThemeConfig} */
     ({
+      algolia: {
+        // The application ID provided by Algolia
+        appId: "NEUN2KAR5K",
+
+        // Public API key: it is safe to commit it
+        apiKey: "1f5c74a2d72799add24eb7682531a1b0",
+
+        indexName: "squiggle_docs",
+
+        // Optional: see doc section below
+        contextualSearch: true,
+
+        // Optional: Specify domains where the navigation should occur through window.location instead on history.push. Useful when our Algolia config crawls multiple documentation sites and we want to navigate with window.location.href to them.
+        // externalUrlRegex: 'external\\.com|domain\\.com',
+
+        // Optional: Algolia search parameters
+        searchParameters: {},
+
+        // Optional: path for search page that enabled by default (`false` to disable it)
+        searchPagePath: "search",
+
+        //... other Algolia params
+      },
       navbar: {
         title: "Squiggle",
         hideOnScroll: true,