Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

More algolia improvements #1096

Merged
merged 4 commits into from
Oct 16, 2023
Merged

More algolia improvements #1096

merged 4 commits into from
Oct 16, 2023

Conversation

LeaveMyYard
Copy link
Contributor

  • Increased the text size in algolia popup
  • Removed paragraph symbols from the search results

@LeaveMyYard LeaveMyYard self-assigned this Sep 22, 2023
@aantn
Copy link
Collaborator

aantn commented Sep 24, 2023

Can we increase the font size a tiny bit more? After that, please merge.

@LeaveMyYard LeaveMyYard enabled auto-merge (squash) October 10, 2023 14:19
@LeaveMyYard LeaveMyYard merged commit 8d48aa5 into master Oct 16, 2023
16 checks passed
@LeaveMyYard LeaveMyYard deleted the more-algolia-improvements branch October 16, 2023 15:17
anakaiti pushed a commit to BrioHR/robusta that referenced this pull request Oct 31, 2023
* Increase the font for algolia results

* Trim ¶ sign from search results

* Increase search CSS size
pavangudiwada pushed a commit to pavangudiwada/robusta that referenced this pull request Nov 6, 2023
* Increase the font for algolia results

* Trim ¶ sign from search results

* Increase search CSS size
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