margin tweak

recrwplay · recrwplay · commit a3a1c342602a · 2024-03-06T14:51:27.000Z
diff --git a/src/css/doc.css b/src/css/doc.css
@@ -674,6 +674,7 @@ body {
 
 .doc .tableblock caption {
   display: table-caption;
+  margin-top: 0.25rem;
 }
 
 .hide-table-captions .doc .tableblock caption {
diff --git a/src/css/labels.css b/src/css/labels.css
@@ -16,10 +16,13 @@
   justify-content: space-between;
   gap: 0.25rem;
   margin-left: auto;
-  padding-top: 0.4rem;
   line-height: var(--doc-line-height);
 }
 
+.sect-header .header-label-container > div.labels {
+  padding-top: 0.4rem;
+}
+
 .header-label-container > div.labels.wrapped {
   margin-left: 0;
 }
@@ -38,6 +41,7 @@ h1 > .header-label {
 
 .doc .tableblock caption > .labels {
   float: inline-end;
+  margin-top: -0.25rem;
 }
 
 .listing-block .content-labels,

Original file line number	Diff line number	Diff line change
`@@ -674,6 +674,7 @@ body {`
`674`	`674`
`675`	`675`	`.doc .tableblock caption {`
`676`	`676`	`display: table-caption;`
	`677`	`+ margin-top: 0.25rem;`
`677`	`678`	`}`
`678`	`679`
`679`	`680`	`.hide-table-captions .doc .tableblock caption {`
Original file line number	Diff line number	Diff line change
`@@ -16,10 +16,13 @@`
`16`	`16`	`justify-content: space-between;`
`17`	`17`	`gap: 0.25rem;`
`18`	`18`	`margin-left: auto;`
`19`		`- padding-top: 0.4rem;`
`20`	`19`	`line-height: var(--doc-line-height);`
`21`	`20`	`}`
`22`	`21`
	`22`	`+.sect-header .header-label-container > div.labels {`
	`23`	`+ padding-top: 0.4rem;`
	`24`	`+}`
	`25`	`+`
`23`	`26`	`.header-label-container > div.labels.wrapped {`
`24`	`27`	`margin-left: 0;`
`25`	`28`	`}`
`@@ -38,6 +41,7 @@ h1 > .header-label {`
`38`	`41`
`39`	`42`	`.doc .tableblock caption > .labels {`
`40`	`43`	`float: inline-end;`
	`44`	`+ margin-top: -0.25rem;`
`41`	`45`	`}`
`42`	`46`
`43`	`47`	`.listing-block .content-labels,`