Skip to content
This repository has been archived by the owner on Jul 19, 2021. It is now read-only.

Add docs search #928

Merged
merged 7 commits into from
Dec 21, 2018
Merged

Add docs search #928

merged 7 commits into from
Dec 21, 2018

Conversation

huguestennier
Copy link
Contributor

What are you trying to accomplish with this PR?

Fixes #915

I submitted the website to Algolia's DocSearch and they provided me the API key. Adjusted some default styles that didn't fit our branding.

Preview URL here

Copy link
Contributor

@NathanPJF NathanPJF left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Following our IRL conversation: Could you please add a link to Slate Versions under reference so that there is still a way to get to it on a smaller screen? Screenshot example

@huguestennier huguestennier merged commit 6cbdf14 into master Dec 21, 2018
@huguestennier huguestennier deleted the add-docs-search branch December 21, 2018 18:30
@lock
Copy link

lock bot commented Jan 20, 2019

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock bot locked as resolved and limited conversation to collaborators Jan 20, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants