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

chore(docs-theme): ui improvements #583

Merged
merged 6 commits into from
Jun 25, 2022
Merged

Conversation

benjamincanac
Copy link
Collaborator

@benjamincanac benjamincanac commented Jun 24, 2022

  • improve mobile navbar
  • improve search button design
  • fix prev next on smaller screens

@benjamincanac benjamincanac changed the title chore(navbar): dialog menu improvements chore(docs-theme): ui improvements Jun 24, 2022
@benjamincanac benjamincanac requested a review from Tahul June 24, 2022 15:04
@benjamincanac benjamincanac marked this pull request as ready for review June 24, 2022 15:04
@atinux atinux merged commit 7906a75 into dev Jun 25, 2022
@atinux atinux deleted the chore/navbar-dialog-improvements branch June 25, 2022 04:21
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