Merge pull request #992 from quantified-uncertainty/algolia

docs site: algolia search
This commit is contained in:
Quinn 2022-08-19 20:19:40 -04:00 committed by GitHub
commit c3bb0ba291
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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,