From a681ba8cbc6d97dd3332827de9ff79a70c0d06a1 Mon Sep 17 00:00:00 2001
From: Deepak Cherian <deepak@cherian.net>
Date: Wed, 12 Jun 2024 14:46:42 -0600
Subject: [PATCH] Undo custom padding-top.

---
 doc/_static/style.css | 2 --
 1 file changed, 2 deletions(-)

diff --git a/doc/_static/style.css b/doc/_static/style.css
index ea42511c51e..bb3ca99c572 100644
--- a/doc/_static/style.css
+++ b/doc/_static/style.css
@@ -222,8 +222,6 @@ main *:target::before {
 }
 
 body {
-  /* Add padding to body to avoid overlap with navbar. */
-  padding-top: var(--navbar-height);
   width: 100%;
 }