docs: tweaked generated table styling - I gave up trying to figure out CSS

EngineerSmith · EngineerSmith · commit edf52ad2e19e · 2026-04-10T18:13:38.000+01:00
diff --git a/docs/assets/stylesheets/extra.css b/docs/assets/stylesheets/extra.css
@@ -91,9 +91,11 @@ body .md-main .md-main__inner {
 }
 
 .generatedTable th {
-  padding-right: 0.3em; padding-left: 0.3em;
+  padding-right: 0.3em !important;
+  padding-left: 0.3em !important;
 }
 
 .generatedTable td {
-  padding-right: 0.3em; padding-left: 0.3em;
+  padding-right: 0.3em !important;
+  padding-left: 0.3em !important;
 }

Original file line number	Diff line number	Diff line change
`@@ -91,9 +91,11 @@ body .md-main .md-main__inner {`
`91`	`91`	`}`
`92`	`92`
`93`	`93`	`.generatedTable th {`
`94`		`- padding-right: 0.3em; padding-left: 0.3em;`
	`94`	`+ padding-right: 0.3em !important;`
	`95`	`+ padding-left: 0.3em !important;`
`95`	`96`	`}`
`96`	`97`
`97`	`98`	`.generatedTable td {`
`98`		`- padding-right: 0.3em; padding-left: 0.3em;`
	`99`	`+ padding-right: 0.3em !important;`
	`100`	`+ padding-left: 0.3em !important;`
`99`	`101`	`}`