Skip to content

📱 Enhance mobile experience #173

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

Merged
merged 20 commits into from
Jun 7, 2025
Merged

📱 Enhance mobile experience #173

merged 20 commits into from
Jun 7, 2025

Conversation

HassanZahirnia
Copy link
Collaborator

This PR introduces a new menu for mobile users. And moves the docs navigation to a separate dropdown menu.

Also added dark theme support for Algolia search.
Thanks to @gwleuverink for providing a reference 🙏 I've added and tweak more stuff based on his source.

HassanZahirnia and others added 20 commits June 5, 2025 20:04
Copy link
Collaborator

@steven-fox steven-fox left a comment

Choose a reason for hiding this comment

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

Fantastic work Hassan! Stellar!

@steven-fox steven-fox merged commit 65035eb into main Jun 7, 2025
2 checks passed
@steven-fox steven-fox deleted the enhance-mobile-menu branch June 7, 2025 15:23
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