Skip to content

Conversation

ivirshup
Copy link
Contributor

PR to show @flying-sheep what works on my end.

@ivirshup ivirshup mentioned this pull request Mar 21, 2021
2 tasks
@flying-sheep flying-sheep changed the base branch from master to doc-search March 21, 2021 17:55
@flying-sheep flying-sheep changed the title Doc search (Example) Doc search: simplify CSS Mar 21, 2021
@flying-sheep flying-sheep marked this pull request as ready for review March 21, 2021 17:55
@flying-sheep flying-sheep merged commit f3d966f into theislab:doc-search Mar 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants