Add algolia-powered search bar to docs site (#917)

* add search bar

* replace cmd+k with slash hotkey

* update api key

* add localhost support for search

1 files changed, 93 insertions, 0 deletions

diff --git a/docs/src/components/Search.css b/docs/src/components/Search.css
new file mode 100644
index 000000000..53ca9bfd0
--- /dev/null
+++ b/docs/src/components/Search.css
@@ -0,0 +1,93 @@
+:root {
+  --docsearch-primary-color: var(--theme-accent);
+  --docsearch-logo-color: var(--theme-text);
+}
+
+.search {
+  display: none;
+  position: relative;
+  z-index: 10;
+  flex-grow: 1;
+  grid-area: search;
+  padding-left: 0.75rem;
+  padding-right: 0.7rem;
+  display: flex;
+  width: 400px;
+  max-width: 400px;
+}
+.search > * {
+  flex-grow: 1;
+}
+
+.search > :global(.algolia-autocomplete) {
+  width: 100%;
+}
+
+:global(body.is-nav-open) .search {
+  display: flex;
+}
+
+.search-input {
+  flex-grow: 1;
+  box-sizing: border-box;
+  width: 100%;
+  margin: 0;
+  padding: 0.33em 0.5em;
+  overflow: visible;
+  font-weight: 500;
+  font-size: 100%;
+  font-family: inherit;
+  line-height: inherit;
+  background-color: var(--theme-divider);
+  border-color: var(--theme-divider);
+  color: var(--theme-text-light);
+  border-style: solid;
+  border-width: 1px;
+  border-radius: 0.25rem;
+  outline: 0;
+  cursor: pointer;
+  transition-timing-function: ease-out;
+  transition-duration: 0.2s;
+  transition-property: border-color, background-color;
+  -webkit-font-smoothing: antialiased;
+}
+.no-underline {
+  text-decoration: none;
+}
+.search-input:hover {
+  color: var(--theme-text);
+}
+.search-input:hover::placeholder {
+  color: var(--theme-text-light);
+}
+.search-input::placeholder {
+  color: var(--theme-text-light);
+}
+
+.search-hint {
+  position: absolute;
+  top: 7px;
+  right: 19px;
+  padding: 3px 5px;
+  display: none;
+  display: none;
+  align-items: center;
+  justify-content: center;
+  letter-spacing: 0.125em;
+  color: var(--theme-text-light);
+  font-size: 13px;
+  font-family: var(--font-mono);
+  pointer-events: none;
+  border-color: var(--theme-text-lighter);
+  color: var(--theme-text-light);
+  border-style: solid;
+  border-width: 1px;
+  border-radius: 0.25rem;
+  line-height: 14px;
+}
+
+@media (min-width: 50em) {
+  .search-hint {
+    display: flex;
+  }
+}
\ No newline at end of file