Undo custom padding-top.

dcherian · dcherian · commit a681ba8cbc6d · 2024-06-12T14:46:42.000-06:00
diff --git 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%;
 }
 

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