add search bar to nav (llm-d#55)

Signed-off-by: Jess Chitas <[email protected]>

Author: jessicachitas

docusaurus.config.js

@@ -111,6 +111,16 @@ const config = {
   markdown: { mermaid: true },
   themes: ["@docusaurus/theme-mermaid"],
 
+  plugins: [
+    [
+      require.resolve("docusaurus-lunr-search"),
+      {
+        languages: ["en"],
+      },
+    ],
+  ],
+
+
   themeConfig:
     /** @type {import('@docusaurus/preset-classic').ThemeConfig} */
     ({