Fix indentation bug with verbatim in tags

jonludlam · jonludlam · commit 1d6730a614ff · 2025-02-20T12:34:16.000Z
closes #1139
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -607,6 +607,7 @@ tt, code, pre {
   border: 1px solid var(--pre-border-color);
   border-radius: 5px;
   overflow-x: auto;
+  text-indent: initial;
 }
 
 .odoc p code,

Original file line number	Diff line number	Diff line change
`@@ -607,6 +607,7 @@ tt, code, pre {`
`607`	`607`	`border: 1px solid var(--pre-border-color);`
`608`	`608`	`border-radius: 5px;`
`609`	`609`	`overflow-x: auto;`
	`610`	`+ text-indent: initial;`
`610`	`611`	`}`
`611`	`612`
`612`	`613`	`.odoc p code,`