From ce196d56f730ac8f3824f2ab85f62142be2a2a89 Mon Sep 17 00:00:00 2001
From: Deepak Cherian <dcherian@users.noreply.github.com>
Date: Wed, 12 Jun 2024 15:41:10 -0600
Subject: [PATCH] Undo custom padding-top. (#9107)

Co-authored-by: Joe Hamman <joe@earthmover.io>
---
 doc/_static/style.css | 2 --
 1 file changed, 2 deletions(-)

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