Undo custom padding-top. (#9107)

dcherian · jhamman · andersy005 · commit 78d872de254a · 2024-06-14T11:38:18.000-07:00
Co-authored-by: Joe Hamman &lt;joe@earthmover.io&gt;
diff --git 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%;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -221,8 +221,6 @@ main *:target::before {`
`221`	`221`	`}`
`222`	`222`
`223`	`223`	`body {`
`224`		`- /* Add padding to body to avoid overlap with navbar. */`
`225`		`- padding-top: var(--navbar-height);`
`226`	`224`	`width: 100%;`
`227`	`225`	`}`
`228`	`226`