Skip to content

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