message: docs: fix the docsSearch vuepress plugin config
diff: @@ -64,12 +64,6 @@ module.exports = {
  return vuepressSlugify(str)
  }
  },
  - theme: defaultTheme({
  - repo: "chevrotain/chevrotain",
  - docsDir: "packages/website/docs",
  - docsBranch: "master",
  - editLinks: true,
  - editLinkText: "Edit this page on GitHub",
  plugins: [
  docsearchPlugin({
  apiKey: "512c3a75c3c7e55f583e8e9c5f131066",
  @@ -77,6 +71,12 @@ module.exports = {
  appId: "J7Q8R9M5PG"
  })
  ],
  + theme: defaultTheme({
  + repo: "chevrotain/chevrotain",
  + docsDir: "packages/website/docs",
  + docsBranch: "master",
  + editLinks: true,
  + editLinkText: "Edit this page on GitHub",
  navbar: [
  { text: "Home", link: "/" },
  { text: "Features", link: "/features/blazing_fast" },
  