restore header margins

recrwplay · recrwplay · commit 742113ca9dc7 · 2024-12-17T20:17:03.000Z
diff --git a/src/css/doc.css b/src/css/doc.css
@@ -32,7 +32,7 @@ body {
   font-weight: var(--heading-font-weight);
   hyphens: none;
   line-height: calc((var(--doc-line-height) + 1) / 2);
-  margin: 17px 0 8px;
+  margin: 2rem 0 1rem;
 }
 
 .doc h1 {

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ body {`
`32`	`32`	`font-weight: var(--heading-font-weight);`
`33`	`33`	`hyphens: none;`
`34`	`34`	`line-height: calc((var(--doc-line-height) + 1) / 2);`
`35`		`- margin: 17px 0 8px;`
	`35`	`+ margin: 2rem 0 1rem;`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`.doc h1 {`