From 95d4f9d4017e64f65306f0aa21ab44f19c339700 Mon Sep 17 00:00:00 2001
From: Harivansh Rathi <rathiharivansh@gmail.com>
Date: Thu, 26 Mar 2026 11:09:04 -0400
Subject: [PATCH] rm

---
 site/src/layouts/DocLayout.astro | 42 -------------------------
 site/src/styles/base.css         | 54 --------------------------------
 2 files changed, 96 deletions(-)

diff --git a/site/src/layouts/DocLayout.astro b/site/src/layouts/DocLayout.astro
index 1ea835e..afc8648 100644
--- a/site/src/layouts/DocLayout.astro
+++ b/site/src/layouts/DocLayout.astro
@@ -9,23 +9,6 @@ const headings: MarkdownHeading[] = Astro.props.headings ?? [];
 const isIndex =
   Astro.url.pathname === "/" || Astro.url.pathname === "/index.html";
 const h2s = headings.filter((h) => h.depth === 2);
-const docsSections = [
-  {
-    title: "Start",
-    items: [
-      { href: "/installation", label: "Installation" },
-      { href: "/quick-start", label: "Quick start" },
-    ],
-  },
-  {
-    title: "Reference",
-    items: [
-      { href: "/commands", label: "Commands" },
-      { href: "/architecture", label: "Architecture" },
-      { href: "/runtime-contract", label: "Runtime contract" },
-    ],
-  },
-];
 
 function formatTocText(text: string): string {
   if (!text.includes(" ") && /[-.]/.test(text)) {
@@ -57,31 +40,6 @@ function formatTocText(text: string): string {
       )
     }
 
-    {
-      !isIndex && (
-        <div class="docs-nav">
-          {docsSections.map((section) => (
-            <div class="docs-nav-section">
-              <span class="docs-nav-title">{section.title}</span>
-              <div class="docs-nav-links">
-                {section.items.map((item) => (
-                  <a
-                    href={item.href}
-                    class:list={[
-                      "docs-nav-link",
-                      { active: Astro.url.pathname === item.href },
-                    ]}
-                  >
-                    {item.label}
-                  </a>
-                ))}
-              </div>
-            </div>
-          ))}
-        </div>
-      )
-    }
-
     {
       toc && (
         <aside class="toc-nav">
diff --git a/site/src/styles/base.css b/site/src/styles/base.css
index 74aa728..e05552e 100644
--- a/site/src/styles/base.css
+++ b/site/src/styles/base.css
@@ -252,60 +252,6 @@ hr {
   margin: 0 0.5em;
 }
 
-.docs-nav {
-  max-width: 50rem;
-  margin: 0 auto;
-  padding: 1rem clamp(1.25rem, 5vw, 3rem) 0;
-  display: flex;
-  flex-wrap: wrap;
-  gap: 1rem 1.5rem;
-  font-size: 0.92rem;
-}
-
-.docs-nav-section {
-  display: flex;
-  flex-wrap: wrap;
-  align-items: center;
-  gap: 0.5rem 0.75rem;
-}
-
-.docs-nav-title {
-  opacity: 0.45;
-  font-size: 0.82rem;
-  text-transform: uppercase;
-  letter-spacing: 0.06em;
-}
-
-.docs-nav-links {
-  display: flex;
-  flex-wrap: wrap;
-  gap: 0.5rem;
-}
-
-.docs-nav-link {
-  color: inherit;
-  text-decoration: none;
-  padding: 0.2rem 0.5rem;
-  border-radius: 999px;
-  opacity: 0.68;
-  transition:
-    opacity 0.15s,
-    background 0.15s;
-}
-
-.docs-nav-link:hover,
-.docs-nav-link.active {
-  opacity: 1;
-  background: #ebebeb;
-}
-
-@media (prefers-color-scheme: dark) {
-  .docs-nav-link:hover,
-  .docs-nav-link.active {
-    background: #222222;
-  }
-}
-
 .toc-nav {
   position: fixed;
   top: 6.5rem;