docs: fix missing search on mobile, cleanup navbar

[sanny-io]

The "Star on Github" button was introducing significant complexity to the navbar. This PR simplifies the navbar, which fixes several things.

• The search bar now properly appears on mobile devices.
• There is no longer a horizontal scrollbar on all pages on some screen sizes.
• An empty sidebar no longer appears on some screen sizes.

Before

After

Closes #567

Summary by CodeRabbit

• Refactor

  • Simplified the GitHub navbar link implementation for improved maintainability.

• Style

  • Updated footer styling with responsive padding.

[vercel]

@sanny-io is attempting to deploy a commit to the ZenStack Team on Vercel.

A member of the Team first needs to authorize it.

[coderabbitai]

Walkthrough

The navbar GitHub entry was simplified from a custom embedded HTML button to a standard link configuration, with matching CSS cleanup. Custom GitHub button styling was removed from the stylesheet and replaced with a new footer padding rule.

Changes

GitHub Navbar Link Simplification

Layer / File(s)	Summary
GitHub navbar link and CSS update docusaurus.config.js, src/css/custom.css	The navbar GitHub item now references https://github.com/zenstackhq/zenstack using a simple object with href, label, and position properties instead of embedded HTML. GitHub-button-specific CSS rules and responsive styling are removed and replaced with a new .footer Tailwind @apply rule that sets horizontal padding.

🎯 1 (Trivial) | ⏱️ ~3 minutes

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Title check	✅ Passed	The title clearly summarizes the main changes: fixing missing search on mobile and cleaning up the navbar by removing the GitHub button.
Linked Issues check	✅ Passed	The code changes directly address issue #567 by removing the GitHub button that was cluttering the navbar, which resolves the missing search bar on mobile.
Out of Scope Changes check	✅ Passed	All changes are directly related to the linked issue: navbar simplification by removing the GitHub button and associated CSS styling.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[ymc9]

Hi @sanny-io , a friend of mine is actually working on a fully renovated design of the home page 😄, so I'm putting this PR on hold. Hopefully that'll land soon!