From 34cb96943928f6f20b2d6ad85e83ed228ec28c52 Mon Sep 17 00:00:00 2001
From: sanny-io <sannysherief@gmail.com>
Date: Sat, 13 Jun 2026 03:59:08 +0000
Subject: [PATCH 1/2] docs: fix missing search on mobile, cleanup navbar

---
 docusaurus.config.js | 45 +++++-----------------------------------
 src/css/custom.css   | 49 --------------------------------------------
 2 files changed, 5 insertions(+), 89 deletions(-)

diff --git a/docusaurus.config.js b/docusaurus.config.js
index 71684e1d..5105d22b 100644
--- a/docusaurus.config.js
+++ b/docusaurus.config.js
@@ -107,6 +107,11 @@ const config = {
                         label: 'Reference',
                     },
                     { to: '/blog', label: 'Blog', position: 'left' },
+                    {
+                        href: 'https://github.com/zenstackhq/zenstack',
+                        label: 'GitHub',
+                        position: 'right',
+                    },
                     {
                         href: 'https://discord.gg/Ykhr738dUe',
                         label: 'Discord',
@@ -116,46 +121,6 @@ const config = {
                         type: 'docsVersionDropdown',
                         position: 'right',
                     },
-                    {
-                        type: 'html',
-                        position: 'left',
-                        value: `<div id="github-button" class="group relative">
-                        <a href='https://github.com/zenstackhq/zenstack' class="inline-flex items-center justify-center space-x-0 rounded-md text-sm  ring-offset-background focus-visible:outline-none focus-visible:ring-2 focus-visible:ring-ring focus-visible:ring-offset-2 disabled:pointer-events-none disabled:opacity-50 h-10 px-4 py-2 group bg-gray-900 hover:bg-gray-950 transition-all duration-200 ease-in-out hover:ring-2 hover:ring-offset-2 hover:ring-gray-900 hover:no-underline">
-                        <svg
-                                xmlns="http://www.w3.org/2000/svg"
-                                width="24"
-                                height="24"
-                                viewBox="0 0 24 24"
-                                fill="none"
-                                stroke="currentColor"
-                                stroke-width="2"
-                                stroke-linecap="round"
-                                stroke-linejoin="round"
-                                class="mr-2 text-white"
-                            >
-                                <path d="M15 22v-4a4.8 4.8 0 0 0-1-3.5c3 0 6-2 6-5.5.08-1.25-.27-2.48-1-3.5.28-1.15.28-2.35 0-3.5 0 0-1 0-3 1.5-2.64-.5-5.36-.5-8 0C6 2 5 2 5 2c-.3 1.15-.3 2.35 0 3.5A5.403 5.403 0 0 0 4 9c0 3.5 3 5.5 6 5.5-.39.49-.68 1.05-.85 1.65-.17.6-.22 1.23-.15 1.85v4"></path>
-                                <path d="M9 18c-4.51 2-5-2-7-2"></path>
-                            </svg>
-                            <span id="github-text" class="text-white pr-2">Star on Github</span>
-                            <span class="flex items-center">
-                                <svg
-                                    xmlns="http://www.w3.org/2000/svg"
-                                    width="24"
-                                    height="24"
-                                    viewBox="0 0 24 24"
-                                    fill="none"
-                                    stroke="currentColor"
-                                    stroke-width="2"
-                                    stroke-linecap="round"
-                                    stroke-linejoin="round"
-                                    class=" text-yellow-500 group-hover:fill-yellow-500 transition-all duration-1000 ease-in-out"
-                                >
-                                    <polygon points="12 2 15.09 8.26 22 9.27 17 14.14 18.18 21.02 12 17.77 5.82 21.02 7 14.14 2 9.27 8.91 8.26 12 2"></polygon>
-                                </svg>
-                            </span>
-                        </a>
-                    </div>`,
-                    },
                 ],
             },
             footer: {
diff --git a/src/css/custom.css b/src/css/custom.css
index 3559aeea..c6dfd23d 100644
--- a/src/css/custom.css
+++ b/src/css/custom.css
@@ -36,52 +36,3 @@
 .footer {
     @apply px-8 lg:px-16;
 }
-
-.navbar__item:has(> #github-button) {
-    display: inline-block;
-}
-
-@media screen and (max-width: 445px) {
-    #github-text {
-        display: none;
-    }
-}
-
-#github-button::before {
-    content: '';
-    position: absolute;
-    top: 0;
-    right: -100%;
-    bottom: 0;
-    width: 100%;
-    opacity: 0.1;
-    background: var(--ifm-navbar-background-color);
-    transition: right 0.5s;
-    pointer-events: none;
-}
-
-[data-theme='dark'] #github-button::before {
-    opacity: 0.3;
-}
-
-#github-button:hover::before {
-    right: 0;
-    pointer-events: mouse;
-}
-
-@media (max-width: 1200px) {
-    .navbar__items--right,
-    .navbar__items--left {
-        display: none;
-    }
-
-    .navbar__toggle {
-        display: inherit;
-    }
-}
-
-@media (min-width: 1201px) {
-    .navbar__toggle {
-        display: none;
-    }
-}

From fc86f3e7004a862a5229a7934abc831c891036a8 Mon Sep 17 00:00:00 2001
From: sanny-io <sannysherief@gmail.com>
Date: Sat, 13 Jun 2026 04:22:51 +0000
Subject: [PATCH 2/2] update styling

---
 docusaurus.config.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docusaurus.config.js b/docusaurus.config.js
index 5105d22b..ed2188a9 100644
--- a/docusaurus.config.js
+++ b/docusaurus.config.js
@@ -109,8 +109,9 @@ const config = {
                     { to: '/blog', label: 'Blog', position: 'left' },
                     {
                         href: 'https://github.com/zenstackhq/zenstack',
-                        label: 'GitHub',
+                        label: '⭐ GitHub',
                         position: 'right',
+                        className: 'bg-gray-900 rounded-sm',
                     },
                     {
                         href: 'https://discord.gg/Ykhr738dUe',