From 49ea4a7a91b2e0f618243c74d3ed6b05331f59b2 Mon Sep 17 00:00:00 2001
From: Zanie Blue <contact@zanie.dev>
Date: Tue, 23 Jul 2024 12:50:00 -0400
Subject: [PATCH] Reduce spacing between nav items (#5310)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

**Before**
<img width="1475" alt="Screenshot 2024-07-22 at 3 56 46 PM"
src="https://github.com/user-attachments/assets/a9c6b929-0569-45a6-9840-d49d955dd55a">

--------

**After**
<img width="1475" alt="Screenshot 2024-07-22 at 3 56 38 PM"
src="https://github.com/user-attachments/assets/98c85e03-fe62-4894-99f6-a49293eacf0b">
---
 docs/stylesheets/extra.css | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
index f22129ecb1c9..2e76b6014126 100644
--- a/docs/stylesheets/extra.css
+++ b/docs/stylesheets/extra.css
@@ -103,3 +103,12 @@
   color: var(--md-code-fg-color);
   background-color: var(--md-code-bg-color);
 }
+
+/* Reducing spacing between nav items to fit more content */
+.md-nav__link {
+  margin-top: 0.3em;
+}
+/* Retain larger spacing for the right-side table-of-contents nav */
+.md-nav--secondary .md-nav__link {
+  margin-top: 0.5em;
+}